Discussion:Modèle non standard
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)[modifier le code]
Sans 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)