| Property |
Value |
| dbo:abstract
|
- 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). (fr)
- 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). (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1367 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 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. (fr)
- 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. (fr)
|
| rdfs:label
|
- Modèle non standard (fr)
- 非标准模型 (zh)
- Modèle non standard (fr)
- 非标准模型 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
