Skip to main content
MathOverflow
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins
  • Member for 15 years, 1 month
  • Last seen this week
Profile Activity

15,799 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
answered
CH in non-set theoretic foundations
awarded
 Popular Question
comment
Can there exists a model of ZFC with permutation that sends successor infinite stages to their predecessors?
Oh, I thought you meant the argument I gave can be used also with models of Z.
comment
Can there exists a model of ZFC with permutation that sends successor infinite stages to their predecessors?
No, because even $V_\omega$ doesn't necessarily exist in Z, let alone $V_{\omega+\omega+1}$.
revised
Can there exists a model of ZFC with permutation that sends successor infinite stages to their predecessors?
added 137 characters in body
revised
Can there exists a model of ZFC with permutation that sends successor infinite stages to their predecessors?
added 137 characters in body
revised
Can there exists a model of ZFC with permutation that sends successor infinite stages to their predecessors?
added 405 characters in body
answered
Can there exists a model of ZFC with permutation that sends successor infinite stages to their predecessors?
awarded
 Announcer
comment
Why believe in the existence of large cardinals rather than just their consistency?
This is a nice perspective.
awarded
 Nice Answer
awarded
 Announcer
revised
Why believe in the existence of large cardinals rather than just their consistency?
added 19 characters in body
revised
Why believe in the existence of large cardinals rather than just their consistency?
added 12 characters in body
revised
Why believe in the existence of large cardinals rather than just their consistency?
added 309 characters in body
revised
Why believe in the existence of large cardinals rather than just their consistency?
added 309 characters in body
answered
Why believe in the existence of large cardinals rather than just their consistency?
revised
Example of a forcing notion with finite-predecessor condition that does not add reals
Fixed the genericity argument.
awarded
 Enlightened
revised
Example of a forcing notion with finite-predecessor condition that does not add reals
improved exposition
1
…
11 12
13
14 15
…
790