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

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

Revenir à la page « Modèle non standard ».