Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Large cardinal
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
{{Other uses of|Cardinal}} {{Short description|Set theory concept}} 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 the least α such that α=ω<sub>α</sub>). 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|url=https://archive.org/details/booleanvaluedmod0000bell|url-access=registration|pages=viii|publisher=Oxford University Press|year=1985|isbn=0-19-853241-5|no-pp=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 '''{{vanchor|large cardinal axiom}}''' is an axiom stating that there exists a cardinal (or perhaps many of them) with some specified large cardinal property. Most working set theorists believe that the large cardinal axioms that are currently being considered are [[consistent]] with ZFC.<ref>{{Cite web |last=Joel |first=Hamkins |date=2022-12-24 |title=Does anyone still seriously doubt the consistency of ZFC? |url=https://mathoverflow.net/questions/437195/does-anyone-still-seriously-doubt-the-consistency-of-zfc |publisher=[[MathOverflow]]}}</ref> These axioms are strong enough to imply the consistency of ZFC. This has the consequence (via [[Gödel's incompleteness theorem|Gödel's second incompleteness theorem]]) that their consistency with ZFC cannot be proven in ZFC (assuming ZFC is consistent). 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.
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)