Omega-categorical theory

Mathematical logic theory with exactly one countably infinite model up to isomorphism

Categories: