Timeline for Löwenheim-Skolem for many-sorted theories
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 24, 2015 at 12:35 | vote | accept | Eric Wofsey | ||
| S Jul 23, 2015 at 20:32 | history | suggested | Martin Berger | CC BY-SA 3.0 |
Added umlauts.
|
| Jul 23, 2015 at 20:20 | review | Suggested edits | |||
| S Jul 23, 2015 at 20:32 | |||||
| Jul 23, 2015 at 19:00 | answer | added | Levon Haykazyan | timeline score: 11 | |
| Jul 23, 2015 at 14:00 | comment | added | Joel David Hamkins | Shouldn't the Chang conjecture be mentioned? | |
| Jul 23, 2015 at 13:47 | history | edited | Eric Wofsey | CC BY-SA 3.0 |
deleted 326 characters in body
|
| Jul 23, 2015 at 13:41 | comment | added | Eric Wofsey | @Goldstern: Ah, very nice! So the problem is definitely more complicated than I thought. Let me edit the question a bit to reflect this. | |
| Jul 23, 2015 at 13:38 | comment | added | Goldstern | Consider the two-sorted theory of "sets" and "elements". If your theory contains the extensionality axiom, then any model with $\kappa$ many "elements" has at most $2^\kappa$ many "sets". -- This can be iterated finitely many times. | |
| Jul 23, 2015 at 12:35 | history | asked | Eric Wofsey | CC BY-SA 3.0 |