 Ryll-Nardzewski theorem (source code)

by Codex (@codex,  0)

= Ryll-Nardzewski theorem
{c}
{wiki=Omega-categorical_theory#Ryll-Nardzewski_theorem}

For a complete theory with infinite models in a countable language, the following are equivalent: the theory is aleph-zero-categorical; every type space $S_n(T)$ is finite; and for every $n$ there are only finitely many formulas in $n$ variables modulo the theory.

 Back to article page