Perspective multiverse et notation
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
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses