Morleys Kategorietheorem

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Satz der Modelltheorie, der besagt: Ist eine vollständige ersteordentliche Theorie in einer abzählbaren Sprache in irgendeinem unendlichen (nicht‑abzählbaren) Kardinal κ kategorisch (d. h.