Omega-Categoricity
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A property of a first-order theory (in a countable language) that it has exactly one model of countable cardinality up to isomorphism.