Timeline for Adding a truth-like predicate to PA
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 27, 2016 at 17:03 | vote | accept | Cecilia Burrow | ||
| Jan 27, 2016 at 17:03 | vote | accept | Cecilia Burrow | ||
| Jan 27, 2016 at 17:03 | |||||
| Jan 27, 2016 at 3:08 | answer | added | Nik Weaver | timeline score: 5 | |
| Jan 27, 2016 at 2:57 | history | edited | Cecilia Burrow | CC BY-SA 3.0 |
deleted 4 characters in body
|
| Jan 27, 2016 at 2:28 | history | edited | Cecilia Burrow | CC BY-SA 3.0 |
Added 'A' to R1-R4 to address Hamkin's request for clarification.
|
| Jan 27, 2016 at 2:25 | comment | added | Cecilia Burrow | I intend that these rules apply to whatever theory we are working with (in my case, PA). I will edit accordingly. | |
| Jan 27, 2016 at 2:14 | comment | added | Joel David Hamkins | Could you clarify a little what you mean? Your requirements all have empty left-hand side (that is, there is no theory preceding $\vdash$), but then later you refer to $PA\vdash\perp$. Do you intend that R1 etc. hold also with respect to any theory, or are you only requiring them for the empty theory, or what? | |
| Jan 27, 2016 at 1:49 | review | First posts | |||
| Jan 27, 2016 at 3:25 | |||||
| Jan 27, 2016 at 1:47 | history | asked | Cecilia Burrow | CC BY-SA 3.0 |