Omega-categorical theory
http://dbpedia.org/resource/Omega-categorical_theory an entity of type: WikicatMathematicalTheorems
Der Satz von Ryll-Nardzewski ist ein Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik. Er charakterisiert -kategorische Theorien. Benannt ist er nach dem polnischen Mathematiker Czesław Ryll-Nardzewski.
rdf:langString
In mathematical logic, an omega-categorical theory is a theory that has exactly one countably infinite model up to isomorphism. Omega-categoricity is the special case κ = = ω of κ-categoricity, and omega-categorical theories are also referred to as ω-categorical. The notion is most important for countable first-order theories.
rdf:langString
rdf:langString
Satz von Ryll-Nardzewski
rdf:langString
Omega-categorical theory
xsd:integer
26628083
xsd:integer
1033795516
rdf:langString
Der Satz von Ryll-Nardzewski ist ein Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik. Er charakterisiert -kategorische Theorien. Benannt ist er nach dem polnischen Mathematiker Czesław Ryll-Nardzewski.
rdf:langString
In mathematical logic, an omega-categorical theory is a theory that has exactly one countably infinite model up to isomorphism. Omega-categoricity is the special case κ = = ω of κ-categoricity, and omega-categorical theories are also referred to as ω-categorical. The notion is most important for countable first-order theories.
xsd:nonNegativeInteger
4862