Reputation
387
Top tag
Next privilege 500 Rep.
Access review queues
Badges
1 11
Newest
 Excavator
Impact
~5k people reached

Feb
12
awarded  Excavator
Feb
12
revised Best Less-Famous Texts for Forcing
Corrected typo.
Feb
12
suggested approved edit on Best Less-Famous Texts for Forcing
Dec
16
awarded  Caucus
Oct
5
answered How do I prove that $S\subset T$ implies $F(S)$ is monomorphic to $F(T)$?
Sep
12
accepted Symmetries on sets of strings
Aug
30
revised Symmetries on sets of strings
added 38 characters in body; edited tags
Aug
30
asked Symmetries on sets of strings
Aug
4
answered Krivine Machine
Jul
3
comment Is the completeness theorem for first-order logic relative to one's choice of set theory?
@AsafKaragila Where would I look if I wanted to see a proof of the equivalence of (1), (2) and (3)?
Jul
2
awarded  Curious
May
15
comment Why study cardinals, ordinals and the like?
@spin Conway's surreal numbers form an ordered field that's so big that it can't be a set, but is a proper class.
May
15
revised Why study cardinals, ordinals and the like?
added 349 characters in body
May
15
comment Why study cardinals, ordinals and the like?
Harvey Friedmann has done a lot of work on showing examples of statements in ordinary mathematics that are only provable with large cardianl axioms.
May
15
comment Why study cardinals, ordinals and the like?
It was Goedel's incompleteness theorems that made the need for large cardinal axioms crystal clear.
May
15
comment Why study cardinals, ordinals and the like?
@GitGud Ordinal induction is the relevant proof principle generalising the conventional induction of Peano arithmetic. You need large cardinal axioms to show that the limit ordinal you are interested to induce over exists.
May
15
awarded  Critic
May
15
comment Why study cardinals, ordinals and the like?
What is unclear about my answer?
May
15
comment Why study cardinals, ordinals and the like?
Actually I think that's the main reason, certainly it was for Goedel.
May
15
comment Why study cardinals, ordinals and the like?
What confuses you?