Set Theory Theorem: Existence of Natural Number Sequences & Large Cardinals

AI Thread Summary
The discussion centers on the existence of a theorem linking certain natural number sequences to the existence of large cardinals. Participants recall that the power set theorem, P(n) = 2^n, indicates that for any cardinal number n, its power set has a greater cardinality. This suggests a relationship between natural number sequences and larger cardinalities. The original inquiry seeks clarification on whether a specific theorem exists that connects these concepts. Overall, the conversation highlights the foundational principles of set theory regarding cardinality and natural numbers.
Dragonfall
Messages
1,023
Reaction score
5
Is there a theorem which says that if certain natural number sequences exist, then some large cardinals exist. Can anyone tell me if it's true and what it says?

I vaguely remember my set theory professor mention this theorem years ago.
 
Physics news on Phys.org
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top