Timeline for What are the handy, go-to methods of proving consistency of a proof system?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 3, 2021 at 8:25 | history | edited | user44143 | CC BY-SA 4.0 |
streamlined
|
| Jan 28, 2021 at 23:02 | comment | added | qk11 | Thanks! Any suggestions of sub-techniques of model construction? | |
| Jan 28, 2021 at 21:21 | comment | added | Noah Schweber | I don't know of a single instance where an ordinal analysis of a theory was provided before a relative consistency proof (keep in mind that for interesting theories all we can hope for is a relative consistency proof, per Godel). I'd say that model construction really is the go-to technique, although of course it's so broad that it itself has many sub-techniques and tricks. | |
| Jan 28, 2021 at 19:23 | history | asked | qk11 | CC BY-SA 4.0 |