Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International