Ich versuche, das Problem 1.3.14 in der Modelltheorie von Chang und Keisler zu lösen:
Für jede , finde ein Modell für eine Sprache mit nur einer endlichen Anzahl von Symbolen, die genau hat undefinierbare Elemente.
Es ist einfach zu lösen, wann (Nehmen Sie einfach die Sprache, die nur ein Gleichheitszeichen und hat -Element als Domäne gesetzt.) Wie in diesem Lehrbuch jedoch angemerkt, ist der Fall von fällt mir extrem schwer. Alle meine Versuche sind fehlgeschlagen und ich weiß nicht, wie ich das Problem lösen soll.
Meine Frage ist also: Gibt es ein Modell, das nur ein undefinierbares Element über einer Sprache mit nur einer endlichen Anzahl von Symbolen hat ? Danke für jede Hilfe.
Diese Frage ist mit dieser Frage nicht doppelt vorhanden, da diese Frage nur das Sprachmodell mit endlich vielen Symbolen berücksichtigt. In dieser Frage betrachte ich das Gleichheitszeichen als logisches Symbol.
Das ist offenbar sehr schwierig. Es gibt einen Artikel von Harvey Friedman, der ein Beispiel gibt
https://u.osu.edu/friedman.8/files/2014/01/UniqueUndElt010913-2b6widm.pdf
Im Allgemeinen sind die mit zwei Sternen versehenen Probleme in CK eher Forschungsproblemen als Übungen ...
Asaf Karagila