Categorical theory
http://dbpedia.org/resource/Categorical_theory an entity of type: Thing
Der Satz von Morley ist ein Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik. Er sagt aus, dass eine abzählbare Theorie, die bis auf Isomorphie in einer überabzählbaren Kardinalzahl nur ein Modell hat, dann auch in jeder überabzählbaren Kardinalzahl nur ein Modell hat. Bewiesen wurde der Satz von Michael D. Morley 1962 in seiner Dissertation Categoricity in Power. Der Satz und sein Beweis übten eine nachhaltige Wirkung auf die Modelltheorie aus. Im Jahr 2003 erhielt Morley dafür den Leroy P. Steele Prize. Saharon Shelah verallgemeinerte 1974 den Satz auf überabzählbare Theorien.
rdf:langString
In mathematical logic, a theory is categorical if it has exactly one model (up to isomorphism). Such a theory can be viewed as defining its model, uniquely characterizing its structure. In first-order logic, only theories with a finite model can be categorical. Higher-order logic contains categorical theories with an infinite model. For example, the second-order Peano axioms are categorical, having a unique model whose domain is the set of natural numbers
rdf:langString
rdf:langString
Satz von Morley (Modelltheorie)
rdf:langString
Categorical theory
xsd:integer
1096396
xsd:integer
1065894592
rdf:langString
Michael D. Morley
rdf:langString
Saharon Shelah
rdf:langString
Michael D.
rdf:langString
E.A.
rdf:langString
Saharon
rdf:langString
c/c020730
rdf:langString
Morley
rdf:langString
Shelah
rdf:langString
Palyutin
rdf:langString
Categoricity in cardinality
xsd:integer
1965
1974
rdf:langString
In mathematical logic, a theory is categorical if it has exactly one model (up to isomorphism). Such a theory can be viewed as defining its model, uniquely characterizing its structure. In first-order logic, only theories with a finite model can be categorical. Higher-order logic contains categorical theories with an infinite model. For example, the second-order Peano axioms are categorical, having a unique model whose domain is the set of natural numbers In model theory, the notion of a categorical theory is refined with respect to cardinality. A theory is κ-categorical (or categorical in κ) if it has exactly one model of cardinality κ up to isomorphism. Morley's categoricity theorem is a theorem of Michael D. Morley stating that if a first-order theory in a countable language is categorical in some uncountable cardinality, then it is categorical in all uncountable cardinalities. Saharon Shelah extended Morley's theorem to uncountable languages: if the language has cardinality κ and a theory is categorical in some uncountable cardinal greater than or equal to κ then it is categorical in all cardinalities greater than κ.
rdf:langString
Der Satz von Morley ist ein Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik. Er sagt aus, dass eine abzählbare Theorie, die bis auf Isomorphie in einer überabzählbaren Kardinalzahl nur ein Modell hat, dann auch in jeder überabzählbaren Kardinalzahl nur ein Modell hat. Bewiesen wurde der Satz von Michael D. Morley 1962 in seiner Dissertation Categoricity in Power. Der Satz und sein Beweis übten eine nachhaltige Wirkung auf die Modelltheorie aus. Im Jahr 2003 erhielt Morley dafür den Leroy P. Steele Prize. Saharon Shelah verallgemeinerte 1974 den Satz auf überabzählbare Theorien.
xsd:nonNegativeInteger
9922