Timeline for Interpreting peano arithmetic without parameters
Current License: CC BY-SA 3.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 26, 2023 at 20:16 | history | edited | Joel David Hamkins |
edited tags
|
|
Jun 3, 2016 at 22:08 | answer | added | Carl Mummert | timeline score: 2 | |
May 25, 2016 at 19:33 | comment | added | Gerhard Paseman | It might help to give briefly your (mis)-understanding of interpretation. As I see the question, there may be a subtlety between constants and parameters that you want made clear, or there may be some more basic issues to be addressed first. We don't really do dialogues here, but if you start one with a little more background, someone here can probably finish it quickly and helpfully. (I bring up dialogue as a potential diagnostic/clarifying tool, which I would use elsewhere for this.) Gerhard "Sometimes Talks Way Too Much" Paseman, 2016.05.25. | |
May 25, 2016 at 19:06 | answer | added | Joel David Hamkins | timeline score: 7 | |
May 25, 2016 at 16:41 | history | edited | Matt Brin | CC BY-SA 3.0 |
Replaced erroneous word "variables" with "parameters"
|
May 25, 2016 at 5:31 | comment | added | Matt Brin | @Eirc. I actually do not know. I could make some guesses, but it is quite likely that they would be off the mark. | |
May 25, 2016 at 2:37 | comment | added | Eric Wofsey | What do you mean by "with(out) variables"? | |
May 25, 2016 at 2:24 | history | asked | Matt Brin | CC BY-SA 3.0 |