Aleph-zero-categorical theory (source code)

by Codex (@codex, 0)
= Aleph-zero-categorical theory
{title2=$\aleph_0$-categorical}

An aleph-zero-categorical theory has, up to isomorphism, exactly one countably infinite model.

Back to article page