Timeline for Definability of ordinals in various signatures
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Aug 29, 2020 at 4:49 | history | bounty ended | exfret | ||
| S Aug 29, 2020 at 4:49 | history | notice removed | exfret | ||
| Aug 25, 2020 at 22:12 | vote | accept | exfret | ||
| Aug 25, 2020 at 9:29 | answer | added | Buchi Fan | timeline score: 6 | |
| Aug 24, 2020 at 2:51 | comment | added | Andreas Blass | For the signature $\{<\}$, see mathoverflow.net/questions/35971 , particularly the paper of Doner, Mostowski, and Tarski cited there. | |
| S Aug 23, 2020 at 15:40 | history | bounty started | exfret | ||
| S Aug 23, 2020 at 15:40 | history | notice added | exfret | Improve details | |
| Aug 19, 2020 at 12:35 | comment | added | exfret | If I may ask, what keywords did you use? Logic is not my area of research, so I when I tried I couldn't find anything other than "normal" ordinal definability. | |
| Aug 19, 2020 at 11:40 | comment | added | user44143 | Yes, I found at least one by googling, and I recommend MathSciNet as a way to find more. | |
| Aug 19, 2020 at 9:59 | comment | added | exfret | I was given the impression that Ehrenfeucht’s work was all that was done on this area, so extending it would already be saying something new and interesting. Are there more recent papers that you didn’t mention that I’d have to build on? | |
| Aug 19, 2020 at 5:34 | comment | added | user44143 | The standard for publication is usually saying something new and interesting. It'd be hard to meet that standard with just questions that Ehrenfeuct might have pondered and the now-standard techniques that he developed in the 50's. For publishable results, you'd probably have to build instead on some of the papers published in that vein more recently. | |
| Aug 19, 2020 at 4:41 | comment | added | exfret | Thanks! Do you think if I extended his results I could publish a paper on it, or does that not seem paper worthy? | |
| Aug 19, 2020 at 2:17 | comment | added | user44143 | Ehrenfeucht studied this, perhaps verifying your conjecture on $\omega^\omega$ for order and adding one more $\omega$ to the tower for addition. See Vaught’s overview, link.springer.com/chapter/10.1007/3-540-63246-8_1 | |
| Aug 18, 2020 at 22:27 | review | First posts | |||
| Aug 18, 2020 at 22:45 | |||||
| Aug 18, 2020 at 22:21 | history | asked | exfret | CC BY-SA 4.0 |