Timeline for Are there mutually independent undecidable statements?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 27 at 14:15 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
edited title
|
| Feb 27 at 5:01 | history | became hot network question | |||
| Feb 26 at 21:32 | answer | added | Joel David Hamkins | timeline score: 18 | |
| Feb 26 at 21:13 | comment | added | cody | @NoahSchweber probably useful to give examples of such theories as well | |
| Feb 26 at 21:06 | comment | added | Noah Schweber | Sure - take $Con(S)$ vs. $Con(T)$ for theories $S,T$ of incomparable consistency strengths. | |
| S Feb 26 at 21:04 | history | suggested | Marco Ripà | CC BY-SA 4.0 |
Adding round brackets
|
| Feb 26 at 20:59 | review | Suggested edits | |||
| S Feb 26 at 21:04 | |||||
| S Feb 26 at 20:53 | review | First questions | |||
| Feb 26 at 20:59 | |||||
| S Feb 26 at 20:53 | history | asked | Jacques Sentier | CC BY-SA 4.0 |