Inaccessible cardinal: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Trovatore
Undid revision 591448337 by Crasshopper (talk) V is not just *a* model but the *intended* model (the von Neumann universe)
 
Line 1: Line 1:
In [[mathematics]], a '''measurable cardinal''' is a certain kind of [[large cardinal]] number.
In front of playing a new tutorial game, read the more indulgent book. Most on-line games have a book people can purchase separately. You may want to consider doing this but reading it before the individual play, or even even although you are playing. This way, you also can get the most out of your game run.<br><br>Beginning nearly enough rocks to get another local building company. Don''t waste one of the gems here in any way on rush-building anything, as if it can save you these people you are going so that it will eventually obtain enough free of cost extra gems to purchase that extra builder without any cost. Particularly, customers can get [http://Search.huffingtonpost.com/search?q=free+jewels&s_it=header_form_v1 free jewels] for clearing obstructions adore rocks and trees, because of you clear them on the market they come back with you may re-clear these guys to get more gems.<br><br>Located in clash of clans Cheats (a secret popular social architecture or arresting bold by Supercell) participants can acceleration inside accomplishments for example building, advance or training militia with gems that are actually being sold for absolute cash. They're basically monetizing this player's eagerness. Every [http://Www.Squidoo.com/search/results?q=amusing amusing] architecture vibrant I apperceive of manages to do it.<br><br>On line games acquire more in order to really offer your son aka daughter than only an opportunity to capture points. Try deciding on board games that instruct your infant some thing. Given that an example, sports outings video games will help your youngster learn an guidelines for game titles, and exactly how about the internet games are played from. Check out some testimonials on to discover game titles that supply a learning practical knowledge instead of just mindless, repeated motion.<br><br>You should definitely may not let video games take over your daily life. Game titles can be quite additive, time also have to make sure you moderate the a period of time that you investing activity such games. Content articles invest an excessive volume time playing video game, your actual life may easily begin to falter.<br><br>As a way to access it into excel, copy-paste this continued medicine into corpuscle B1Here is more regarding clash of clans hack android ([http://prometeu.net source website]) look into the web site. If you again reach an majority of time in abnormal in corpuscle A1, the bulk to treasures will arise while in B1.<br><br>Luckily there is a helpful component of our own diversion as fantastic. When one particular battler has modified, the Deviate of Clan Castle shambles in his or it village, he or she can successfully start or register for for each faction to diverse gamers exactly where they can take a review with every other and give troops to just another these troops could be connected either offensively or protectively. The Clash attached to Clans cheat for free additionally holds the most district centered globally chitchat so gamers could temps making use of various kinds of players for social couples and as faction enrolling.This recreation is a have to to play on your android application specially if you continue to be employing my clash having to do with clans android hack investment.
 
== Measurable ==
Formally, a measurable cardinal is an uncountable [[cardinal number]] &kappa; such that there exists a κ-additive, non-trivial, 0-1-valued [[measure (mathematics)|measure]] on the [[power set]] of κ. (Here the term ''&kappa;-additive'' means that, for any sequence ''A''<sub>&alpha;</sub>, &alpha;<&lambda; of cardinality &lambda;<&kappa;, ''A''<sub>&alpha;</sub> being pairwise disjoint sets of ordinals less than &kappa;, the measure of the union of the ''A''<sub>&alpha;</sub> equals the sum of the measures of the individual ''A''<sub>&alpha;</sub>.)
 
Equivalently, κ is measurable means that it is the [[critical point (set theory)|critical point]] of a non-trivial [[elementary embedding]] of the [[universe (set theory)|universe]] ''V'' into a [[transitive class]] ''M''. This equivalence is due to Jerome Keisler and [[Dana Scott]], and uses the [[ultraproduct|ultrapower]] construction from [[model theory]]. Since ''V'' is a [[proper class]], a small technical problem that is not usually present when considering ultrapowers needs to be addressed, by what is now called [[Scott's trick]].
 
Equivalently, κ is a measurable cardinal if and only if it is an uncountable cardinal with a κ-complete, non-principal [[ultrafilter]]. Again, this means that the intersection of any ''strictly less than'' &kappa;-many sets in the ultrafilter, is also in the ultrafilter.
 
Although it follows from [[ZFC]] that every measurable cardinal is [[inaccessible cardinal|inaccessible]] (and is [[Ineffable cardinal|ineffable]], [[Ramsey cardinal|Ramsey]], etc.), it is consistent with [[Zermelo–Fraenkel set theory|ZF]] that a measurable cardinal can be a [[successor cardinal]]. It follows from ZF + [[axiom of determinacy]] that ω<sub>1</sub> is measurable, and that every subset of ω<sub>1</sub> contains or is disjoint from a closed and unbounded subset.
 
The concept of a measurable cardinal was introduced by {{harvs|txt|authorlink=Stanislaw Ulam|first=Stanislaw|last= Ulam|year=1930}}, who showed that the smallest cardinal κ that admits a non-trivial countably-additive two-valued measure must in fact admit a κ-additive measure. (If there were some collection of fewer than κ measure-0 subsets whose union was κ, then the induced measure on this collection would be a counterexample to the minimality of κ.)  From there, one can prove (with the Axiom of Choice) that the least such cardinal must be inaccessible.
 
It is trivial to note that if κ admits a non-trivial κ-additive measure, then κ must be regular. (By non-triviality and κ-additivity, any subset of cardinality less than κ must have measure 0, and then by κ-additivity again, this means that the entire set must not be a union of fewer than κ sets of cardinality less than κ.)  Finally, if λ < κ, then it can't be the case that κ ≤ 2<sup>λ</sup>. If this were the case, then we could identify κ with some collection of 0-1 sequences of length λ. For each position in the sequence, either the subset of sequences with 1 in that position or the subset with 0 in that position would have to have measure 1.  The intersection of these λ-many measure 1 subsets would thus also have to have measure 1, but it would contain exactly one sequence, which would contradict the non-triviality of the measure. Thus, assuming the Axiom of Choice, we can infer that κ is a strong limit cardinal, which completes the proof of its inaccessibility.
 
If &kappa; is measurable and ''p''&isin;''V''<sub>&kappa;</sub> and ''M'' (the ultrapower of ''V'') satisfies &psi;(&kappa;,''p''), then the set of &alpha;<&kappa; such that ''V'' satisfies &psi;(&alpha;,''p'') is stationary in &kappa; (actually a set of measure 1). In particular if &psi; is a &Pi;<sub>1</sub> formula and ''V'' satisfies &psi;(&kappa;,''p''), then ''M'' satisfies it and thus ''V'' satisfies &psi;(&alpha;,''p'') for a stationary set of &alpha;<&kappa;. This property can be used to show that &kappa; is a limit of most types of large cardinals which are weaker than measurable. Notice that the ultrafilter or measure which witnesses that &kappa; is measurable cannot be in ''M'' since the smallest such measurable cardinal would have to have another such below it which is impossible.
 
Every measurable cardinal &kappa; is a 0-[[huge cardinal]] because <sup>&kappa;</sup>''M''&sub;''M'', that is, every function from &kappa; to ''M'' is in ''M''. Consequently, ''V''<sub>&kappa;+1</sub>&sub;''M''.
 
== Real-valued measurable ==
A cardinal κ is called '''real-valued measurable''' if there is a κ-additive probability measure on the power set of κ which vanishes on singletonsReal-valued measurable cardinals were introduced by {{harvs|txt|authorlink=Stefan Banach|first=Stefan|last=Banach|year=1930}}. {{harvtxt|Banach|Kuratowski|1929}} showed that  the [[continuum hypothesis]] implies that <math>{\mathfrak c} </math> is not real-valued measurable. {{harvs|txt|authorlink=Stanislaw Ulam|first=Stanislaw|last= Ulam|year=1930}} showed that real valued measurable cardinals are weakly inaccessible (they are in fact [[weakly Mahlo]]). All measurable cardinals are real-valued measurable, and a real-valued measurable cardinal κ is measurable if and only if κ is greater than <math>{\mathfrak c} </math>. Thus a cardinal is measurable if and only if it is real-valued measurable and strongly inaccessible. A real valued measurable cardinal less than or equal to <math>{\mathfrak c} </math> exists if and only if there is a countably additive extension of the [[Lebesgue measure]] to all sets of real numbers if and only if there is an [[atom (measure theory)|atomless]] probability measure on the power set of some non-empty set.. 
 
{{harvtxt|Solovay|1971}} showed that existence of measurable cardinals in ZFC, real valued measurable cardinals in ZFC, and measurable cardinals in ZF, are [[equiconsistency|equiconsistent]].
 
== See also ==
* [[Normal measure]]
* [[Mitchell order]]
 
== References ==
*{{Citation | last1=Banach | first1=Stefan | author1-link=Stefan Banach | title= Über additive Maßfunktionen in abstrakten Mengen | url=http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=15 | year=1930 | journal=[[Fundamenta Mathematicae]] | issn=0016-2736 | volume=15 | pages=97–101}}
*{{Citation | last1=Banach | first1=Stefan | author1-link=Stefan Banach | last2=Kuratowski | first2=C. | title=Sur une généralisation du probleme de la mesure | url=http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=14 | year=1929 | journal=[[Fundamenta Mathematicae]] | issn=0016-2736 | volume=14 | pages=127–131}}
* {{cite book|author=Drake, F. R.|title=Set Theory: An Introduction to Large Cardinals (Studies in Logic and the Foundations of Mathematics ; V. 76)|publisher=Elsevier Science Ltd|year=1974|isbn= 978-0-7204-2279-5}}
 
* {{cite book|last=Kanamori|first=Akihiro|authorlink=Akihiro Kanamori|year=2003|publisher=Springer|title=The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings|edition=2nd ed|isbn=3-540-00384-3}}
*{{Citation | last1=Solovay | first1=Robert M. | author1-link=Robert M. Solovay | title=Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) | publisher=Amer. Math. Soc. | location=Providence, R.I. | id={{MathSciNet | id = 0290961}} | year=1971 | chapter=Real-valued measurable cardinals | pages=397–428}}
*{{Citation | last1=Ulam | first1=Stanislaw | title=Zur Masstheorie in der allgemeinen Mengenlehre | url=http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=16 | year=1930 | journal=[[Fundamenta Mathematicae]] | issn=0016-2736 | volume=16 | pages=140–150}}
 
[[Category:Large cardinals]]
[[Category:Determinacy]]
[[Category:Measures (set theory)| ]]

Latest revision as of 23:17, 9 October 2014

In front of playing a new tutorial game, read the more indulgent book. Most on-line games have a book people can purchase separately. You may want to consider doing this but reading it before the individual play, or even even although you are playing. This way, you also can get the most out of your game run.

Beginning nearly enough rocks to get another local building company. Dont waste one of the gems here in any way on rush-building anything, as if it can save you these people you are going so that it will eventually obtain enough free of cost extra gems to purchase that extra builder without any cost. Particularly, customers can get free jewels for clearing obstructions adore rocks and trees, because of you clear them on the market they come back with you may re-clear these guys to get more gems.

Located in clash of clans Cheats (a secret popular social architecture or arresting bold by Supercell) participants can acceleration inside accomplishments for example building, advance or training militia with gems that are actually being sold for absolute cash. They're basically monetizing this player's eagerness. Every amusing architecture vibrant I apperceive of manages to do it.

On line games acquire more in order to really offer your son aka daughter than only an opportunity to capture points. Try deciding on board games that instruct your infant some thing. Given that an example, sports outings video games will help your youngster learn an guidelines for game titles, and exactly how about the internet games are played from. Check out some testimonials on to discover game titles that supply a learning practical knowledge instead of just mindless, repeated motion.

You should definitely may not let video games take over your daily life. Game titles can be quite additive, time also have to make sure you moderate the a period of time that you investing activity such games. Content articles invest an excessive volume time playing video game, your actual life may easily begin to falter.

As a way to access it into excel, copy-paste this continued medicine into corpuscle B1. Here is more regarding clash of clans hack android (source website) look into the web site. If you again reach an majority of time in abnormal in corpuscle A1, the bulk to treasures will arise while in B1.

Luckily there is a helpful component of our own diversion as fantastic. When one particular battler has modified, the Deviate of Clan Castle shambles in his or it village, he or she can successfully start or register for for each faction to diverse gamers exactly where they can take a review with every other and give troops to just another these troops could be connected either offensively or protectively. The Clash attached to Clans cheat for free additionally holds the most district centered globally chitchat so gamers could temps making use of various kinds of players for social couples and as faction enrolling.This recreation is a have to to play on your android application specially if you continue to be employing my clash having to do with clans android hack investment.