Dragonfall
- 1,023
- 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.
I vaguely remember my set theory professor mention this theorem years ago.