Timeline for Is categoricity retained when reducing the language?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 2, 2019 at 7:43 | comment | added | Joel David Hamkins | Yes, that is what I had meant to convey. The model consists just of A, B and f. | |
| Jun 1, 2019 at 21:23 | comment | added | Asaf Karagila♦ | I'm confused. Take a model of the theory of size continuum with the two predicates countable and another where the two predicates have size continuum. You probably want to require that every object in the model satisfies one of the predicates as well. | |
| May 22, 2019 at 7:24 | history | edited | Monroe Eskew | CC BY-SA 4.0 |
deleted 1 character in body
|
| May 22, 2019 at 7:23 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 125 characters in body
|
| May 22, 2019 at 7:23 | vote | accept | Monroe Eskew | ||
| May 22, 2019 at 7:18 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |