Discussion:Modèle non standard

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
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)[répondre]