Skip to main content
MathOverflow

Return to Question

Became Hot Network Question
added 78 characters in body
Source Link
pathway
pathway
  • 117
  • 7

Are there first-order statements that second order PA proves that first order PA does not? Is this known one way or the other? Could you share an example? (edit: to clarify, by 'second order PA' I don't mean any first order theory)

Are there first-order statements that second order PA proves that first order PA does not? Is this known one way or the other? Could you share an example?

Are there first-order statements that second order PA proves that first order PA does not? Is this known one way or the other? Could you share an example? (edit: to clarify, by 'second order PA' I don't mean any first order theory)

Source Link
pathway
pathway
  • 117
  • 7

Are there first-order statements that second order PA proves that first order PA does not?

Are there first-order statements that second order PA proves that first order PA does not? Is this known one way or the other? Could you share an example?