Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
2 answers
998 views

Are omega-consistent extensions of PA always consistent with each other?

The question is as in the title. In the edit history you can find my attempt to formalise the question, but that was a failure, for reasons stated clearly in the comments. Thus, my question is just: ...
N. Virgo's user avatar
  • 1,344