Ω-Kategorizität

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Eigenschaft einer Theorie erster Ordnung (in einer abzählbaren Sprache), dass sie bis auf Isomorphie genau ein Modell von abzählbarer Mächtigkeit besitzt.