Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Non-standard_model> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Non-standard_model abstract "See also Interpretation (logic)In model theory, a discipline within mathematical logic, a non-standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the language is first-order, then the Löwenheim–Skolem theorems guarantee the existence of non-standard models. The non-standard models can be chosen as elementary extensions or elementary substructures of the intended model.Non-standard models are studied in set theory, non-standard analysis and non-standard models of arithmetic.".
- Non-standard_model wikiPageID "30875811".
- Non-standard_model wikiPageRevisionID "578685969".
- Non-standard_model hasPhotoCollection Non-standard_model.
- Non-standard_model subject Category:Model_theory.
- Non-standard_model comment "See also Interpretation (logic)In model theory, a discipline within mathematical logic, a non-standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the language is first-order, then the Löwenheim–Skolem theorems guarantee the existence of non-standard models.".
- Non-standard_model label "Modèle non standard".
- Non-standard_model label "Non-standard model".
- Non-standard_model label "非标准模型".
- Non-standard_model sameAs Modèle_non_standard.
- Non-standard_model sameAs m.023gzt.
- Non-standard_model sameAs Q3318128.
- Non-standard_model sameAs Q3318128.
- Non-standard_model wasDerivedFrom Non-standard_model?oldid=578685969.
- Non-standard_model isPrimaryTopicOf Non-standard_model.