Timeline for Is the first order theory of ordered rings without infinitesimals effectively enumerable?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2012 at 4:09 | vote | accept | Sidney Raffer | ||
| Oct 13, 2012 at 4:09 | comment | added | Sidney Raffer | @Emil: Thank you for your answer. It doesn't look like there are any takers for the second part of my question, which anyway was added later. | |
| Sep 5, 2012 at 15:16 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
edited body
|
| Sep 5, 2012 at 15:10 | comment | added | Emil Jeřábek | Dealing with first-order theories of classes of structures not closed under elementary equivalence may be confusing, hence I have expanded the answer with more details. I hope it is more clear now. | |
| Sep 5, 2012 at 15:08 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
expand
|
| Sep 5, 2012 at 14:46 | comment | added | Emil Jeřábek | Sure. However, a sentence is provable in $T'$ if and only if it holds in all archimedean fields. | |
| Sep 5, 2012 at 14:29 | comment | added | Ramiro de la Vega | I don't quite understand this argument. There are non-archimedean fields which are models of T', right? | |
| Sep 5, 2012 at 13:39 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |