Ryll-Nardzewski theorem

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:first-order_logic
gptkbp:concerns countably categorical theories
gptkbp:field model theory
https://www.w3.org/2000/01/rdf-schema#label Ryll-Nardzewski theorem
gptkbp:namedAfter gptkb:Czesław_Ryll-Nardzewski
gptkbp:publishedIn 1959
gptkbp:relatedTo automorphism group
categoricity
types in model theory
gptkbp:state A countable first-order theory is ω-categorical if and only if for each n, there are only finitely many n-types over the empty set.
gptkbp:bfsParent gptkb:Czesław_Ryll-Nardzewski
gptkbp:bfsLayer 6