Skip to main content
MathOverflow
John Licato's user avatar
John Licato's user avatar
John Licato's user avatar
John Licato
  • Member for 5 years, 6 months
  • Last seen more than 4 years ago
Profile Activity

6 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Editor
revised
Can third-order arithmetic prove the consistency of second-order arithmetic?
clarified my misunderstanding with the second part of my question, but also clarified why the first part is still unanswered.
comment
Can third-order arithmetic prove the consistency of second-order arithmetic?
Sorry, but I'm confused by your comment---I didn't write $Con_{Z_2}$ anywhere, nor did I claim it was equivalent to $Con_{Z_1}$.
awarded
 Student
asked
Can third-order arithmetic prove the consistency of second-order arithmetic?
asked
Does the fixed point lemma / diagonalization require capturing or not?