365 reputation
110
bio website sussex.ac.uk/Users/mfb21
location London, United Kingdom
age
visits member for 3 years, 9 months
seen 2 days ago

2d
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?
May
15
answered Why study cardinals, ordinals and the like?
May
15
comment Partial order version of elementary equivalence
yes, good point.
May
15
revised Partial order version of elementary equivalence
added 339 characters in body