About: Categorical theory

Property	Value
dbo:description	מושג מתמטי (iw) Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik (de) theorem related to model theory, discovered by Michael D. Morley (en)
dbo:wikiPageExternalLink	https://archive.org/details/classificationth0092shel http://plato.stanford.edu/archives/sum2005/entries/modeltheory-fo
dbo:wikiPageWikiLink	dbr:Finite_set dbr:Oswald_Veblen dbr:Model_(mathematical_logic) dbr:Prime_number dbr:Peano_axioms dbr:Algebraically_closed_field dbr:Löwenheim–Skolem_theorem dbr:First-order_logic dbr:Set_(mathematics) dbr:Vector_space dbr:Cardinal_number dbr:Cardinality dbc:Theorems_in_the_foundations_of_mathematics dbr:Saharon_Shelah dbr:Dense_order dbr:Formal_language dbr:Equivalence_class dbr:Characteristic_(algebra) dbc:Mathematical_logic dbr:Rational_number dbr:Equivalence_relation dbr:Field_(mathematics) dbr:Infinite_set dbr:Linear_order dbr:American_Mathematical_Society dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:Michael_D._Morley dbr:Transactions_of_the_American_Mathematical_Society dbr:Graduate_Texts_in_Mathematics dbr:Spectrum_of_a_theory dbr:Torsion-free_abelian_group dbr:Higher-order_logic dbr:Complete_theory dbr:Abelian_group dbr:Natural_number dbr:Jerzy_Łoś dbr:Torsion_group dbr:Divisible_group dbr:Omega-categorical_theory dbr:Łoś–Vaught_test dbr:Springer-Verlag dbr:Theory_(mathematical_logic) dbr:First-order_theory dbr:Complex_numbers dbr:P-adic dbr:Uncountable dbr:Countable dbr:Stability_(model_theory) dbr:Tarski–Vaught_test dbr:Up_to_isomorphism
dbp:authorlink	Saharon Shelah (en) Michael D. Morley (en)
dbp:first	E.A. (en) Michael D. (en) Saharon (en)
dbp:id	c/c020730 (en)
dbp:last	Morley (en) Shelah (en) Palyutin (en)
dbp:title	Categoricity in cardinality (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Notelist dbt:Math dbt:Sfn dbt:Citation dbt:Distinguish dbt:Mathematical_logic dbt:Harvs dbt:Springer dbt:Efn dbt:Short_description dbt:Redirect-distinguish2
dbp:year	1965 (xsd:integer) 1974 (xsd:integer)
dct:subject	dbc:Theorems_in_the_foundations_of_mathematics dbc:Mathematical_logic dbc:Model_theory
rdfs:label	Categorical theory (en) Satz von Morley (Modelltheorie) (de)
owl:differentFrom	dbr:Category_theory
owl:sameAs	wikidata:Categorical theory dbpedia-de:Categorical theory dbpedia-he:Categorical theory dbpedia-global:Categorical theory dbr:Categorical theory
prov:wasDerivedFrom	wikipedia-en:Categorical_theory?oldid=1282073520&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Categorical_theory
is dbo:wikiPageDisambiguates of	dbr:Categorical
is dbo:wikiPageRedirects of	dbr:Morley's_categoricity_theorem dbr:Morley_categoricity_theorem dbr:Uncountably_categorical_theory dbr:Categorical_(model_theory) dbr:Categorical_model dbr:Categoricity dbr:Κ-categorical dbr:Vaught's_Condition
is dbo:wikiPageWikiLink of	dbr:First-order_logic dbr:Robert_Lawson_Vaught dbr:Dense_order dbr:Index_of_philosophy_articles_(A–C) dbr:Categorical dbr:Foundations_of_geometry dbr:Glossary_of_set_theory dbr:Saturated_model dbr:Scott–Potter_set_theory dbr:Stable_theory dbr:Model_complete_theory dbr:Cantor's_isomorphism_theorem dbr:Morley's_categoricity_theorem dbr:Morley_categoricity_theorem dbr:Uncountably_categorical_theory dbr:Categorical_(model_theory) dbr:Categorical_model dbr:Categoricity dbr:Κ-categorical dbr:Vaught's_Condition
is foaf:primaryTopic of	wikipedia-en:Categorical_theory