| http://dbpedia.org/ontology/abstract
|
在数理逻辑的模型论中，称某理论的模型为非标准模型（英語：Non-standard model），如果它与预期模型（或称标准模型）不。如果预期模型是无限的, 且使用的语言是一阶的，则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。 非标准模型在集论、非标准分析，以及中有所研究。
, 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).
, En logique mathématique, plus précisément … En logique mathématique, plus précisément en théorie des modèles, un modèle non standard d'une théorieest un modèle de celle-ci dont l'ensemble de base est différent du modèle « standard » de la théorie (quand il y en a un), l'exemple le plus courant étant l'ensemble ℕ des entiers muni de ses opérations usuelles, qui est le modèle standard des théories arithmétiques, comme l'arithmétique de Peano. Tout modèle non standard de l'arithmétique de Peano a une copie isomorphe de ℕ (l'interprétation des termes du langage) comme segment initial. Un modèle non standard peut ou non être élémentairement équivalent au modèle standard, c'est-à-dire satisfaire les mêmes énoncés clos (si oui, c'est un modèle non standard de la théorie du modèle standard, qui est complète par définition). Il peut ou non être une extension du modèle standard et satisfaire les mêmes énoncés clos à paramètres dans le modèle standard, c'est-à-dire en être une (en).e standard, c'est-à-dire en être une (en).
|
| http://dbpedia.org/ontology/wikiPageID
|
30875811
|
| http://dbpedia.org/ontology/wikiPageLength
|
1040
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1031450452
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Interpretation_%28logic%29 +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Intended_interpretation +
, http://dbpedia.org/resource/L%C3%B6wenheim%E2%80%93Skolem_theorem +
, http://dbpedia.org/resource/Non-standard_model_of_arithmetic +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Elementary_substructure +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Elementary_extension +
, http://dbpedia.org/resource/Category:Model_theory +
, http://dbpedia.org/resource/Non-standard_analysis +
, http://dbpedia.org/resource/Isomorphic +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Model_theory +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Model +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Non-standard_model?oldid=1031450452&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Non-standard_model +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q3318128 +
, http://dbpedia.org/resource/Non-standard_model +
, https://global.dbpedia.org/id/345T7 +
, http://zh.dbpedia.org/resource/%E9%9D%9E%E6%A0%87%E5%87%86%E6%A8%A1%E5%9E%8B +
, http://rdf.freebase.com/ns/m.023gzt +
, http://fr.dbpedia.org/resource/Mod%C3%A8le_non_standard +
|
| rdf:type |
http://dbpedia.org/ontology/Person +
|
| rdfs:comment |
En logique mathématique, plus précisément … En logique mathématique, plus précisément en théorie des modèles, un modèle non standard d'une théorieest un modèle de celle-ci dont l'ensemble de base est différent du modèle « standard » de la théorie (quand il y en a un), l'exemple le plus courant étant l'ensemble ℕ des entiers muni de ses opérations usuelles, qui est le modèle standard des théories arithmétiques, comme l'arithmétique de Peano. Tout modèle non standard de l'arithmétique de Peano a une copie isomorphe de ℕ (l'interprétation des termes du langage) comme segment initial. termes du langage) comme segment initial.
, 在数理逻辑的模型论中，称某理论的模型为非标准模型（英語：Non-standard model），如果它与预期模型（或称标准模型）不。如果预期模型是无限的, 且使用的语言是一阶的，则非标准模型的存在性由勒文海姆–斯科伦定理保证。非标准模型可被选为预期模型的初等扩张或初等子结构。 非标准模型在集论、非标准分析，以及中有所研究。
, 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).
|
| rdfs:label |
Modèle non standard
, Non-standard model
, 非标准模型
|
