About: Non-standard model

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

Model of a theory that is not isomorphic to the intended model

Property	Value
dbo:description	model of a theory that is not isomorphic to the intended model (en)
dbo:wikiPageWikiLink	dbr:Löwenheim–Skolem_theorem dbr:Set_theory dbr:First-order_logic dbr:Intended_interpretation dbr:Interpretation_(logic) dbr:Non-standard_model_of_arithmetic dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:Non-standard_analysis dbr:Elementary_extension dbr:Elementary_substructure dbr:Isomorphic
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Mathlogic-stub dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Model_theory
gold:hypernym	dbr:Model
rdfs:label	Non-standard model (en) Modèle non standard (fr) 非标准模型 (zh)
owl:sameAs	freebase:Non-standard model wikidata:Non-standard model dbpedia-fr:Non-standard model dbpedia-zh:Non-standard model dbpedia-global:Non-standard model dbr:Non-standard model
prov:wasDerivedFrom	wikipedia-en:Non-standard_model?oldid=1287652263&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Non-standard_model
is dbo:wikiPageRedirects of	dbr:Non-standard_models dbr:Nonstandard_model
is dbo:wikiPageWikiLink of	dbr:Finite_set dbr:Peano_axioms dbr:Universe_(mathematics) dbr:Index_of_philosophy_articles_(I–Q) dbr:Heyting_arithmetic dbr:Interpretation_(logic) dbr:List_of_mathematical_logic_topics dbr:Riazuddin_(physicist) dbr:Natural_numbers_object dbr:Outline_of_logic dbr:Nonstandard_(disambiguation) dbr:Non-standard_models dbr:Nonstandard_model
is foaf:primaryTopic of	wikipedia-en:Non-standard_model

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International