Ω-Categoricidad

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propiedad de una teoría de primer orden (en un lenguaje numerable) que afirma que tiene, hasta isomorfismo, exactamente un modelo de cardinalidad numerable.