Timeline for Monadic second-order theories of the reals
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9, 2019 at 19:27 | comment | added | user44143 | Lifsches and Shelah have a more recent and more readable overview for that particular claim in "Peano Arithmetic may not be interpretable in the monadic theory of linear orders", J Symbolic Logic 62 (1997) 848-872, on JSTOR (jstor.org/stable/2275575) or on Shelah's site (shelah.logic.at/short400.html) as paper 471. | |
| May 31, 2019 at 6:44 | comment | added | user44143 | @LevonHaykazyan, thanks, that paper gives the precise statement I was looking for! But it gives the proof with no outline and no other assistance for the reader. | |
| May 31, 2019 at 3:15 | comment | added | Levon Haykazyan | This paper by Gurevich and Shelah seems to be relevant. | |
| May 30, 2019 at 14:31 | history | edited | user44143 | CC BY-SA 4.0 |
added 2 characters in body
|
| May 30, 2019 at 14:25 | history | asked | user44143 | CC BY-SA 4.0 |