Concept

Modèle non standard

En logique mathématique, plus précisément en théorie des modèles, un modèle non standard d'une théorie est 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 N 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 N (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 .

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.