About: Type (model theory)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Term in model theory and related areas of mathematics

Property	Value
dbo:description	term in model theory and related areas of mathematics (en) 模型理論和數學相關領域的術語 (zh)
dbo:wikiPageWikiLink	dbr:Archimedean_property dbr:Isolated_point dbr:Ultrafilter dbr:Quantifier_elimination dbr:Algebraically_closed_field dbr:Cambridge_University_Press dbr:First-order_logic dbr:Square_root_of_2 dbr:Transcendental_extension dbr:Boolean_ring dbr:Compactness_theorem dbc:Concepts_in_logic dbr:Mathematics dbr:Formal_language dbr:Infinitesimal dbr:Characteristic_(algebra) dbr:Boolean_algebra_(structure) dbc:Mathematical_logic dbr:Topological_space dbr:Structure_(mathematical_logic) dbr:Field_(mathematics) dbc:Model_theory dbr:Model_theory dbr:Ordered_field dbr:Irreducible_polynomial dbr:Saturated_model dbr:Ultraproduct dbr:Graduate_Texts_in_Mathematics dbr:Elsevier dbr:Compact_space dbr:Zariski_topology dbr:Hausdorff_space dbr:Totally_disconnected_space dbr:Stone_space dbr:Root_of_a_function dbr:Elementary_extension dbr:Maximal_consistent_set dbr:Prime_spectrum dbr:Hyperreals
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Anchor dbt:No_footnotes dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Concepts_in_logic dbc:Mathematical_logic dbc:Model_theory
rdfs:label	Type (model theory) (en) Typ (Modelltheorie) (de) Type (théorie des modèles) (fr) Tipo (teoria do modelo) (pt) 型 (模型论) (zh)
owl:sameAs	freebase:Type (model theory) yago-res:Type (model theory) wikidata:Type (model theory) dbpedia-de:Type (model theory) dbpedia-fr:Type (model theory) dbpedia-zh:Type (model theory) dbpedia-pt:Type (model theory) dbpedia-he:Type (model theory) dbpedia-hu:Type (model theory) dbpedia-global:Type (model theory) dbr:Type (model theory)
prov:wasDerivedFrom	wikipedia-en:Type_(model_theory)?oldid=1217026717&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Type_(model_theory)
is dbo:wikiPageDisambiguates of	dbr:Type
is dbo:wikiPageRedirects of	dbr:Omitting_types dbr:Omitting_types_theorem dbr:Complete_type
is dbo:wikiPageWikiLink of	dbr:Z_notation dbr:First-order_logic dbr:U-rank dbr:Index_of_logic_articles dbr:Prime_model dbr:Type dbr:Data_type dbr:Abstract_elementary_class dbr:Rado_graph dbr:Saturated_model dbr:N_type dbr:List_of_unsolved_problems_in_mathematics dbr:List_of_mathematical_logic_topics dbr:True_arithmetic dbr:Atomic_model_(mathematical_logic) dbr:Omega-categorical_theory dbr:Stability_spectrum dbr:Stable_theory dbr:Half_graph dbr:Cantor's_isomorphism_theorem dbr:Tame_abstract_elementary_class dbr:Omitting_types dbr:Omitting_types_theorem dbr:Complete_type
is foaf:primaryTopic of	wikipedia-en:Type_(model_theory)