Discussion:Modèle non standard
Dernier commentaire : il y a 11 ans par Epsilon0 dans le sujet Définition d'un modèle standard (donc en creux de ceux qui ne le sont pas)
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Définition d'un modèle standard (donc en creux de ceux qui ne le sont pas)
modifierSans trop savoir je pense qu'un "modèle standard" est un modèle minimal de la théorie au sens qu'il se plonge (j'espère ne pas me tromper dans le vocabulaire plongement#théorie des modèles étant une section vide) dans tout autre. Je retiens pour exemple que |N est l'intersection à isomorphisme près de tous les modèles de A.P. Un modèle de A.P étant à mon souvenir, de la forme : N + alpha*Z (alpha, ordinal) ). Qu'en savez-vous ? --Epsilon0 ε0 17 octobre 2012 à 22:12 (CEST)