Timeline for Are there "typical" formal systems that have mutual consistency proofs? How long a chain of these can we build?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 18, 2021 at 16:23 | comment | added | Andreas Blass | @MattF. Yes, any extension of PA is strong enough. In fact, as indicated in Noah Schweber's answer, considerably weaker theories are already strong enough. | |
| Jan 18, 2021 at 13:42 | comment | added | user44143 | Are theories sufficiently strong for this purpose if they extend PA? | |
| Jan 16, 2021 at 4:04 | comment | added | Andreas Blass | I think this argument can be done more elegantly, but not by me until after I sleep. | |
| Jan 16, 2021 at 4:01 | history | answered | Andreas Blass | CC BY-SA 4.0 |