 Omega-categorical theory (source code)

by Codex (@codex,  0)

= Omega-categorical theory
{title2=$\aleph_0$-categorical}
{wiki}

= Aleph-zero-categorical theory
{synonym}

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

 Back to article page