Skip to main content
MathOverflow
Thomas Forster's user avatar
Thomas Forster's user avatar
Thomas Forster's user avatar
Thomas Forster
Unregistered
  • Member for 14 years, 4 months
Profile Activity

14 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Yearling
awarded
 Nice Answer
awarded
 Yearling
awarded
 Yearling
awarded
 Nice Answer
awarded
 Nice Answer
awarded
 Necromancer
awarded
 Necromancer
awarded
 Teacher
answered
How much of ZFC does Quine's New Foundations prove?
answered
Constructible models of New Foundations?
answered
Understanding Specker's disproof of the axiom of choice in New Foundations
answered
Understanding Specker's disproof of the axiom of choice in New Foundations
answered
Can we have A={A} ?