101.10.3.183 at 11:17, 18 August 2014

2014-08-18T11:17:44Z

en>Toshio Yamaguchi: /* External links */ adding natural number classes navbox

2013-05-30T20:47:16Z

External links: adding natural number classes navbox

← Older revision		Revision as of 22:47, 30 May 2013
Line 1:		Line 1:
	I'~~m Leonie~~ and ~~I live~~ with ~~my husband~~ and ~~our~~ 3 ~~children~~ in ~~Bialystok~~, in the ~~south area~~. ~~My hobbies~~ are ~~Baking~~, ~~Stamp collecting~~ and ~~Canoeing~~.<br>~~<br>Review my blog~~ [http://~~simongj~~.~~nfx~~-~~studio~~.~~com~~/~~mediawiki~~/~~index~~.~~php~~/~~Utilisateur~~:~~AngelinDelee FIFA 15 Coin hack~~]		{{for\|a list of examples\|list of large cardinal properties}}
			In the mathematical field of [[set theory]], a '''large cardinal property''' is a certain kind of property of [[Transfinite number\|transfinite]] [[cardinal number]]s. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than [[aleph zero\|<math>\aleph_0</math>]], bigger than the [[cardinality of the continuum]], etc.). The proposition that such cardinals exist cannot be proved in the most common [[axiomatization]] of set theory, namely [[ZFC]], and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in [[Dana Scott]]'s phrase, as quantifying the fact "that if you want more you have to assume more".<ref>{{cite book\|last=Bell\|first=J.L.\|title=Boolean-Valued Models and Independence Proofs in Set Theory\|pages=viii\|publisher=Oxford University Press\|year=1985\|isbn=0-19-853241-5\|nopp=true}}</ref>

			There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct philosophical schools (see [[#Motivations and epistemic status\|Motivations and epistemic status]] below).

			A '''large cardinal axiom''' is an axiom stating that there exists a cardinal (or perhaps many of them) with some specified large cardinal property.

			There is no generally agreed precise definition of what a large cardinal property is, though essentially everyone agrees that those in the [[List of large cardinal properties]] are large cardinal properties.

			==Partial definition==
			A necessary condition for a property of cardinal numbers to be a ''large cardinal property'' is that the existence of such a cardinal is not known to be inconsistent with [[ZFC]] and it has been proven that if ZFC is [[consistent]], then ZFC + "no such cardinal exists" is consistent.

			==Hierarchy of consistency strength==
			A remarkable observation about large cardinal axioms is that they appear to occur in strict [[linear order]] by [[consistency strength]]. That is, no exception is known to the following: Given two large cardinal axioms A1 and A2, one of three things happens:
			#ZFC proves "ZFC+A1 is consistent if and only if ZFC+A2 is consistent";
			#ZFC+A1 proves that ZFC+A2 is consistent; or
			#ZFC+A2 proves that ZFC+A1 is consistent.
			If it is discovered that two (or more) of these conditions hold, then all of them hold and ZFC+A1 is inconsistent and ZFC+A2 is inconsistent; in this case, these 'axioms' would no longer be considered large cardinal axioms.

			In case 1 we say that A1 and A2 are [[Equiconsistency\|equiconsistent]]. In case 2, we say that A1 is consistency-wise stronger than A2 (vice versa for case 3). If A2 is stronger than A1, then ZFC+A1 cannot prove A2 is consistent, even with the additional hypothesis that ZFC+A1 is itself consistent (provided of course that it really is). This follows from [[Gödel's second incompleteness theorem]].

			The observation that large cardinal axioms are linearly ordered by consistency strength is just that, an observation, not a theorem. (Without an accepted definition of large cardinal property, it is not subject to proof in the ordinary sense). Also, it is not known in every case which of the three cases holds. [[Saharon Shelah]] has asked, "[i]s there some theorem explaining this, or is our vision just more uniform than we realize?" [[W. Hugh Woodin\|Woodin]], however, deduces this from the [[Ω-conjecture]], the main unsolved problem of his [[Ω-logic]].

			It should also be noted that the order of consistency strength is not necessarily the same as the order of the size of the smallest witness to a large cardinal axiom. For example, the existence of a [[huge cardinal]] is much stronger, in terms of consistency strength, than the existence of a [[supercompact cardinal]], but assuming both exist, the first huge is smaller than the first supercompact.

			==Motivations and epistemic status==
			Large cardinals are understood in the context of the [[von Neumann universe]] V, which is built up by [[transfinite induction\|transfinitely iterating]] the [[powerset]] operation, which collects together all [[subset]]s of a given set. Typically, models in which large cardinal axioms ''fail'' can be seen in some natural way as submodels of those in which the axioms hold. For example, if there is an [[inaccessible cardinal]], then "cutting the universe off" at the height of the first such cardinal yields a [[universe (mathematics)\|universe]] in which there is no inaccessible cardinal. Or if there is a [[measurable cardinal]], then iterating the ''definable'' powerset operation rather than the full one yields [[Gödel's constructible universe]], L, which does not satisfy the statement "there is a measurable cardinal" (even though it contains the measurable cardinal as an ordinal).

			Thus, from a certain point of view held by many set theorists (especially those inspired by the tradition of the [[Cabal (set theory)\|Cabal]]), large cardinal axioms "say" that we are considering all the sets we're "supposed" to be considering, whereas their negations are "restrictive" and say that we're considering only some of those sets. Moreover the consequences of large cardinal axioms seem to fall into natural patterns (see Maddy, "Believing the Axioms, II"). For these reasons, such set theorists tend to consider large cardinal axioms to have a preferred status among extensions of ZFC, one not shared by axioms of less clear motivation (such as [[Martin's axiom]]) or others that they consider intuitively unlikely (such as [[V=L\|V = L]]). The hardcore [[Philosophy of mathematics#Mathematical_realism\|realists]] in this group would state, more simply, that large cardinal axioms are ''true''.

			This point of view is by no means universal among set theorists. Some [[Philosophy of mathematics#Formalism\|formalists]] would assert that standard set theory is by definition the study of the consequences of ZFC, and while they might not be opposed in principle to studying the consequences of other systems, they see no reason to single out large cardinals as preferred. There are also realists who deny that [[ontological maximalism]] is a proper motivation, and even believe that large cardinal axioms are false. And finally, there are some who deny that the negations of large cardinal axioms ''are'' restrictive, pointing out that (for example) there can be a [[transitive set\|transitive]] set model in L that believes there exists a measurable cardinal, even though L itself does not satisfy that proposition.

			==Notes==
			<references/>

			==References==
			* {{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=0-444-10535-2}}
			* {{cite book\|author=Jech, Thomas\|title=Set theory, third millennium edition (revised and expanded)\|publisher=Springer\|year=2002\|isbn=3-540-44085-2\|authorlink=Thomas Jech}}
			* {{cite book\|last=Kanamori\|first=Akihiro\|year=2003\|authorlink=Akihiro Kanamori\|publisher=Springer\|title=The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings\|edition=2nd\|isbn=3-540-00384-3}}
			*{{citation\|last=Kanamori\|first=Akihiro\|first2=M. \|last2=Magidor
			\|chapter=The evolution of large cardinal axioms in set theory
			\|series=Lecture Notes in Mathematics
			\|publisher =Springer Berlin / Heidelberg
			\|volume =669 ([http://math.bu.edu/people/aki/e.pdf typescript])
			\|title=Higher Set Theory
			\|year=1978
			\|isbn =978-3-540-08926-1
			\|doi =10.1007/BFb0103104
			\|pages=99–275
			}}
			* {{cite journal\|last=Maddy\|first=Penelope\|title=Believing the Axioms, I\|journal=Journal of Symbolic Logic\|volume=53\|issue=2\|year=1988\|pages=481–511\|authorlink=Penelope Maddy\|doi=10.2307/2274520}}
			* {{cite journal\|last=Maddy\|first=Penelope\|title=Believing the Axioms, II\|journal=Journal of Symbolic Logic\|volume=53\|issue=3\|year=1988\|pages=736–764\|doi=10.2307/2274569}}
			* {{cite arxiv\|last=Shelah\|first=Saharon\|title=The Future of Set Theory\|year=2002\|eprint=math/0211397\|authorlink=Saharon Shelah}}
			* {{cite journal\|last=Solovay\|first=Robert M.\|coauthors=William N. Reinhardt, and [[Akihiro Kanamori]]\|year=1978\|title=Strong axioms of infinity and elementary embeddings\|journal=Annals of Mathematical Logic\|volume=13\|issue=1\|pages=73–116\|authorlink=Robert M. Solovay\|url=http://math.bu.edu/people/aki/d.pdf\|doi=10.1016/0003-4843(78)90031-1}}
			* {{cite journal\|last=Woodin\|first=W.Hugh\|title=The continuum hypothesis, part II\|journal=Notices of the American Mathematical Society\|volume=48\|issue=7\|year=2001\|pages=681–690}}

			{{Set theory}}
			[[Category:Large cardinals\| ]]

en>Gandalf61: /* External links */ rmv redirect

2010-10-17T21:53:39Z

External links: rmv redirect

New page

I'm Leonie and I live with my husband and our 3 children in Bialystok, in the south area. My hobbies are Baking, Stamp collecting and Canoeing.<br><br>Review my blog [http://simongj.nfx-studio.com/mediawiki/index.php/Utilisateur:AngelinDelee FIFA 15 Coin hack]

Polydivisible number - Revision history

101.10.3.183 at 11:17, 18 August 2014

en>Toshio Yamaguchi: /* External links */ adding natural number classes navbox

en>Gandalf61: /* External links */ rmv redirect