Timeline for Löwenheim-Skolem for many-sorted theories
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2023 at 17:43 | comment | added | tox123 | 8 years late, but what exactly does o-minimal entail for a many sorted theory? That there's an ordering for each sort and definable sets of all the sorts are finite unions of intervals and points? | |
| Jul 24, 2015 at 12:35 | vote | accept | Eric Wofsey | ||
| Jul 23, 2015 at 19:00 | history | answered | Levon Haykazyan | CC BY-SA 3.0 |