Perspective multiverse et notation

Martial

February 2023 dans Fondements et Logique

Bonjour à tous,

Je suis en train d'étudier un papier de Joel Hamkins : "The Set-theoretic multiverse", 2011.

A un moment l'auteur emploie la notation $V \precsim W$, où $V$ et $W$ sont des modèles de ZFC.

Je sais ce que veut dire $V \prec W$ : "il existe un plongement élémentaire de $V$ dans $W$".

Mais quelqu'un a-t-il une idée de ce que peut bien vouloir dire $\precsim$ ?

Je précise que Hamkins ne semble pas donner la définition de ce symboloïde bizarre, donc il doit s'agir d'une notation standard.

Merci d'avance

Martial

Réponses

• 

  Alesha

  February 2023 Modifié (February 2023)

  Bonjour

  Si tu fais allusion au théorème 3 de https://arxiv.org/pdf/1108.4223.pdf, il écrit en anglais ce que signifie sa formule :  "there is an elementary embedding of the universive $V$ into a class model $\overline{V}$".
• 

  Martial

  February 2023

  Merci @Alesha. J'avais pourtant lu ce passage mais j'avais zappé la notation. En fait c'est comme $\prec$, sauf que la cible est un modèle-classe.
  

Connectez-vous ou Inscrivez-vous pour répondre.