Deprecated: Caller from LCStoreDB::get ignored an error originally raised from MathObject::readFromDatabase: [1054] Unknown column 'math_mathml' in 'field list' in /var/www/html/includes/debug/MWDebug.php on line 378 Main Page: Difference between revisions - formulasearchengine
'''S''' is an [[axiomatic set theory]] set out by [[George Boolos]] in his article, Boolos (1989). '''S''', a [[first order logic|first-order]] theory, is two-sorted because its [[ontology]] includes “stages” as well as [[set (mathematics)|sets]]. Boolos designed '''S''' to embody his understanding of the “iterative conception of set“ and the associated [[iterative hierarchy]]. '''S''' has the important property that all axioms of [[Zermelo set theory]] ''Z'', except the [[axiom of Extensionality]] and the [[axiom of Choice]], are theorems of '''S''' or a slight modification thereof.
[[File:Schematic induction regulator.svg|thumb|Schematic of wiring an induction regulator. Power source is connected to R-S-T rotor terminals. Output voltage is N+1-2-3 terminals.]]
[[File:Diagram induction regulator.svg|thumb|Diagram of electrical [[phasor]]s for an induction regulator]]
An '''Induction regulator''' is a device, based on an [[induction motor]], which can provide a continuous ([[Analogue electronics|analogue]]) variable output [[voltage]]. In the past, it was used to control the voltage of electric networks. Nowadays, it has been replaced in this function by the [[Tap (transformer)|tap]] [[transformer]]. Its usage is now mostly confined to electrical laboratories, electrochemical processes and [[arc welding]]. With minor variations, its setup can be used as an isolator [[Quadrature booster|phase-shifting power transformer]].
==Ontology==
==Construction==
Any grouping together of [[mathematical object|mathematical]], [[abstract object|abstract]], or concrete objects, however formed, is a ''collection'', a synonym for what other [[set theory|set theories]] refer to as a [[Class (set theory)|class]]. The things that make up a collection are called [[element (mathematics)|element]]s or members. A common instance of a collection is the [[domain of discourse]] of a [[first order theory]].
The induction regulator can be regarded as a wound [[induction motor]]. The rotor is not allowed to turn freely and it can be mechanically shifted by means of a [[worm gear]]. The rest of the regulator's construction follows that of a wound rotor [[induction motor]] with a slotted three-phase stator and a wound three-phase rotor with ends connected to accessible [[slip ring]]s plus common point (neutral)
All sets are collections, but there are collections that are not sets. A synonym for collections that are not sets is [[proper class]]. An essential task of [[axiomatic set theory]] is to distinguish sets from proper classes, if only because mathematics is grounded in sets, with proper classes relegated to a purely descriptive role.
Depending on the application, the ratio of number of turns on the rotor and the stator can vary.
The [[Von Neumann universe]] implements the “iterative conception of set” by stratifying the universe of sets into a series of “stages,” with the sets at a given stage being possible members of the sets formed at all higher stages. The notion of stage goes as follows. Each stage is assigned an [[ordinal number]]. The lowest stage, stage 0, consists of all entities having no members. We assume that the only entity at stage 0 is the [[empty set]], although this stage would include any [[urelements]] we would choose to admit. Stage ''n'', ''n''>0, consists of all possible sets formed from elements to be found in any stage whose number is less than ''n''. Every set formed at stage ''n'' can also be formed at every stage greater than ''n''.<ref>Boolos (1998:88).</ref>
==Working==
If the rotor terminals are connected to a [[three-phase electric power]] network, a [[rotating magnetic field]] will be driven into the [[magnetic core]].
The resulting flux will produce an [[electromotive force|emf]] on the windings of the stator with the particularity that if rotor and stator are physically shifted by an angle α, then the electric phase shifting of both windings is α too. Considering just the fundamental harmonic, and ignoring the shifting, the following equation rules:
Hence the stages form a nested and [[well-ordered]] sequence, and would form a [[hierarchy (mathematics)|hierarchy]] if set membership were [[transitive relation|transitive]]. The iterative conception has gradually become more accepted, despite an imperfect understanding of its historical origins.
Where ξ is the [[winding factor]], a constant related to the construction of the windings.
The iterative conception of set steers clear, in a well-motivated way, of the well-known [[paradox]]es of [[Russell's paradox|Russell]], [[Burali-Forti paradox|Burali-Forti]], and [[Cantor's paradox|Cantor]]. These paradoxes all result from the unrestricted use of the [[axiom of comprehension|principle of comprehension]] of [[naive set theory]]. Collections such as “the class of all sets” or “the class of all [[ordinal number|ordinals]]” include sets from all stages of the iterative hierarchy. Hence such collections cannot be formed at any given stage, and thus cannot be sets.
If the stator winding is connected to the primary phase, the total voltage seen from the neutral (N) will be the sum of the voltages at both windings rotor and stator. Translating this to electric [[phasor]]s, both phasors are connected. However, there is an angular shifting of α between them. Since α can be freely chosen between [0, π], both phasors can be added or subtracted, so all the values in between are attainable. The primary and secondary are not isolated. Also, the ratio of transformation between rotor/stator is constant. What makes the regulation possible is the angular shifting.
==Primitive notions==
==Advantages==
This section follows Boolos (1998: 91). The variables ''x'' and ''y'' range over sets, while ''r'', ''s'', and ''t'' range over stages. There are three [[primitive notion|primitive]] two-place [[Predicate (mathematical logic)|predicates]]:
The output voltage can be continuously regulated within the nominal range. This is a clear benefit against tap transformers where output voltage takes discrete values. Also, the voltage can be easily regulated under working conditions.
* Set-set: ''x''∈''y'' denotes, as usual, that set ''x'' is a member of set ''y'';
* Set-stage: ''Fxr'' denotes that set ''x'' “is formed at” stage ''r'';
The axioms below include a defined two-place set-stage predicate, ''Bxr'', which abbreviates:
==Drawbacks==
:<math>\exist s[s<r \land Fxs].</math>
In comparison to tap transformers, induction regulators are expensive, with lower efficiency, high open circuit currents (due to the airgap) and limited in voltage to less than 20kV.
''Bxr'' is read as “set ''x'' is formed before stage ''r''.”
[[identity (mathematics)|Identity]], denoted by infix ‘=’, does not play the role in '''S''' it plays in other set theories, and Boolos does not make fully explicit whether the background [[first order logic|logic]] includes identity. '''S''' has no [[axiom of Extensionality]] and identity is absent from the other '''S''' axioms. Identity does appear in the axiom schema distinguishing '''S+''' from '''S''',<ref>Boolos (1998: 97).</ref> and in the derivation in '''S''' of the [[axiom of pairing|Pairing]], [[axiom of the empty set|Null set]], and [[axiom of infinity|Infinity]] axioms of ''[[Z]]''.<ref>Boolos (1998: 103–04).</ref>
==Applications==
An induction regulator for power networks is usually designed to have a nominal voltage of 14kV and ±(10-15)% of regulation, but this use has declined. Nowadays, its main uses are in electrical laboratories and [[arc welding]].
==Axioms==
==Bibliography==
The symbolic axioms shown below are from Boolos (1998: 91), and govern how sets and stages behave and interact. The natural language versions of the axioms are intended to aid the intuition.
{{cite book
<!-- The symbolic axioms should not be changed without discussion on the talk page. Altering these axioms would constitute original research. However the English descriptions may be changed.-->
| last = Fraile-Mora
| first = J. Jesús
| authorlink = Jesús Fraile-Mora
| title = Máquinas Eléctricas
| publisher = [[McGraw-Hill]]
| series =
| year = 2003
| doi =
| isbn = 84-481-3913-5
| pages = 358–359
}}
The axioms come in two groups of three. The first group consists of axioms pertaining solely to stages and the stage-stage relation ‘<’.
{{cite book
| last = Serrano-Iribarnegaray
| first = Luis
| authorlink = Luis Serrano-Iribarnegaray
| title = Fundamentos de Máquinas Eléctricas Rotativas
| publisher = [[Marcombo Boixareu]]
| series =
| year = 1989
| doi =
| isbn = 8426707637
| pages = 208–210
}}
{{cite book
| last = Ras
| first = Enrique
| authorlink = Enrique Ras
| title = Transformadores de potencia de medida y de protección
| publisher = [[Marcombo Boixareu]]
| series =
| year = 1991
| doi =
| isbn = 84-267-0690-8
| page = 160
}}
'''Tra''': <math> \forall r \forall s \forall t[r<s \land s<t \rightarrow r<t] \,.</math>
==See also==
*[[Variable frequency transformer]]
“Earlier than” is transitive.
[[Category:Articles created via the Article Wizard]]
[[Category:Transformers (electrical)]]
'''Net''': <math> \forall s \forall t \exist r[t<r \land s<r] \,.</math>
[[Category:Energy conversion]]
[[Category:Electric motors]]
A consequence of ''Net'' is that every stage is earlier than some stage.
[[Category:Italian inventions]]
'''Inf''': <math> \exist r \exist u [u<r \land \forall t[t<r \rightarrow \exist s[t<s \land s<r]]] \,.</math>
The sole purpose of ''Inf'' is to enable deriving in '''S''' the [[axiom of infinity]] of other set theories.
The second and final group of axioms involve both sets and stages, and the predicates other than '<':
'''All''': <math> \forall x \exist r Fxr \,.</math>
Every set is formed at some stage in the hierarchy.
'''When''': <math> \forall r \forall x [Fxr \leftrightarrow [\forall y (y \in x \rightarrow Byr) \and \lnot Bxr] ] \,.</math>
A set is formed at some stage [[iff]] its members are formed at earlier stages.
Let ''A''(''y'') be a formula of '''S''' where ''y'' is free but ''x'' is not. Then the following axiom schema holds:
'''Spec''': <math> \exist r \forall y[A(y) \rightarrow Byr] \rightarrow \exist x \forall y[y \in x \leftrightarrow A(y)] \,.</math>
If there exists a stage ''r'' such that all sets satisfying ''A''(''y'') are formed at a stage earlier than ''r'', then there exists a set ''x'' whose members are just those sets satisfying ''A''(''y''). The role of ''Spec'' in '''S''' is analogous to that of the [[axiom schema of specification]] of [[Z]].
==Discussion==
Boolos’s name for [[Zermelo set theory]] minus extensionality was ''Z-''. Boolos derived in '''S''' all axioms of ''Z-'' except the [[axiom of choice]].<ref>Boolos (1998: 95–96; 103–04).</ref> The purpose of this exercise was to show how most of conventional set theory can be derived from the iterative conception of set, assumed embodied in '''S'''. [[Extensionality]] does not follow from the iterative conception, and so is not a theorem of '''S'''. However, '''S''' + Extensionality is free of contradiction if '''S''' is free of contradiction.
Boolos then altered ''Spec'' to obtain a variant of '''S''' he called '''S+''', such that the [[axiom schema of replacement]] is derivable in '''S+''' + Extensionality. Hence '''S+''' + Extensionality has the power of [[Zermelo–Fraenkel set theory|ZF]]. Boolos also argued that the [[axiom of choice]] does not follow from the iterative conception, but did not address whether Choice could be added to '''S''' in some way.<ref>Boolos (1998: 97).</ref> Hence '''S+''' + Extensionality cannot prove those theorems of the industry-standard set theory [[ZFC]] whose proofs require Choice.
'''Inf''' guarantees the existence of stages ω, and of ω + ''n'' for finite ''n'', but not of stage ω + ω. Nevertheless, '''S''' yields enough of [[transfinite numbers|Cantor's paradise]] to ground almost all of contemporary mathematics.<ref>”…the overwhelming majority of 20th century mathematics is straightforwardly representable by sets of fairly low infinite ranks, certainly less than ω + 20.” (Potter 2004: 220). The exceptions to Potter's statement presumably include [[category theory]], which requires the weakly [[inaccessible cardinal]]s afforded by [[Tarski–Grothendieck set theory]], and the higher reaches of set theory itself.</ref>
Boolos compares '''S''' at some length to a variant of the system of [[Frege]]’s ''Grundgesetze'', in which [[Hume's principle]], taken as an axiom, replaces Frege’s Basic Law V, an [[Comprehension_axiom#Unrestricted_comprehension|unrestricted comprehension axiom]] which made Frege's system inconsistent; see [[Russell's paradox]].
==References==
* [[George Boolos]] (1989) “Iteration Again,” ''Philosophical Topics'' 17: 5–21. Reprinted in his (1998) ''Logic, Logic, and Logic''. Harvard Univ. Press: 88–104.
* [[Michael Potter]] (2004) ''Set Theory and Its Philosophy''. Oxford Univ. Press.
==Footnotes==
{{Reflist}}
[[Category:Set theory]]
[[Category:Systems of set theory]]
[[Category:Z notation]]
Revision as of 13:02, 18 August 2014
Schematic of wiring an induction regulator. Power source is connected to R-S-T rotor terminals. Output voltage is N+1-2-3 terminals.Diagram of electrical phasors for an induction regulator
An Induction regulator is a device, based on an induction motor, which can provide a continuous (analogue) variable output voltage. In the past, it was used to control the voltage of electric networks. Nowadays, it has been replaced in this function by the taptransformer. Its usage is now mostly confined to electrical laboratories, electrochemical processes and arc welding. With minor variations, its setup can be used as an isolator phase-shifting power transformer.
The induction regulator can be regarded as a wound induction motor. The rotor is not allowed to turn freely and it can be mechanically shifted by means of a worm gear. The rest of the regulator's construction follows that of a wound rotor induction motor with a slotted three-phase stator and a wound three-phase rotor with ends connected to accessible slip rings plus common point (neutral)
Depending on the application, the ratio of number of turns on the rotor and the stator can vary.
Working
If the rotor terminals are connected to a three-phase electric power network, a rotating magnetic field will be driven into the magnetic core.
The resulting flux will produce an emf on the windings of the stator with the particularity that if rotor and stator are physically shifted by an angle α, then the electric phase shifting of both windings is α too. Considering just the fundamental harmonic, and ignoring the shifting, the following equation rules:
Where ξ is the winding factor, a constant related to the construction of the windings.
If the stator winding is connected to the primary phase, the total voltage seen from the neutral (N) will be the sum of the voltages at both windings rotor and stator. Translating this to electric phasors, both phasors are connected. However, there is an angular shifting of α between them. Since α can be freely chosen between [0, π], both phasors can be added or subtracted, so all the values in between are attainable. The primary and secondary are not isolated. Also, the ratio of transformation between rotor/stator is constant. What makes the regulation possible is the angular shifting.
Advantages
The output voltage can be continuously regulated within the nominal range. This is a clear benefit against tap transformers where output voltage takes discrete values. Also, the voltage can be easily regulated under working conditions.
Drawbacks
In comparison to tap transformers, induction regulators are expensive, with lower efficiency, high open circuit currents (due to the airgap) and limited in voltage to less than 20kV.
Applications
An induction regulator for power networks is usually designed to have a nominal voltage of 14kV and ±(10-15)% of regulation, but this use has declined. Nowadays, its main uses are in electrical laboratories and arc welding.
Bibliography
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
