Timeline for Truth Values of Statements in non-standard models
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 12 at 19:17 | comment | added | Amiren | @PeterLeFanuLumsdaine but infact i posted this question on the stackexchange site at first, it actually got deleted after few hours, with no comments at all. That's why i had to post it here... | |
| Feb 12 at 17:46 | comment | added | Peter LeFanu Lumsdaine | This is a fun question, but it’s definitely not research-level, which is what MathOverflow is for. I’ve voted for migration to math.stackexchange (our sibling site for questions at all levels), as I think it’d be a good question there! | |
| Feb 12 at 16:44 | comment | added | Julia Williams | I left an answer, but for future reference: you may find math.stackexchange.com to be a better place to go than mathoverflow.net. This site is intended for research-level questions, and math.stackexchange.com is more likely to have someone who will give a good answer. | |
| Feb 12 at 16:39 | answer | added | Julia Williams | timeline score: 9 | |
| Feb 12 at 13:37 | comment | added | Amiren | @SamHopkins but there is a number in non-standard models which encodes proof of $G$ where $G$ is godel's sentence, that number is non-standard , therefore the length of the proof is non-standard. if the non-standard statements don't even have truth-values then it should be meaningless to say that a non-standard proof exists for a standard statement ( $G$ ) (which does have a truth value in both models), since the non-standard proof will have atleast one non-standard statement | |
| Feb 12 at 13:27 | comment | added | Sam Hopkins | I'm not a logician so take this with a grain of salt. I believe you may be mixing up theory and metatheory here. The nonstandard statements are not "really" statements of PA, from our external, meta-theoretic perspective. So it does not make sense to talk about their truth value in other models. They are only internal to the model they arise in. | |
| Feb 12 at 3:41 | review | Close votes | |||
| Feb 18 at 3:03 | |||||
| Feb 11 at 21:50 | history | edited | Amiren | CC BY-SA 4.0 |
edited title
|
| Feb 11 at 21:33 | history | edited | Amiren | CC BY-SA 4.0 |
added 8 characters in body
|
| S Feb 11 at 19:08 | review | First questions | |||
| Feb 12 at 17:06 | |||||
| S Feb 11 at 19:08 | history | asked | Amiren | CC BY-SA 4.0 |