Théorème de lecture unique
Bonjour,
dans l'un des exercices du Cori Lascar (exercice 3 du chapitre 1), on demande de prouver le théorème de lecture unique pour les pseudoformules. Dans le corrigé en pièce-jointe, je ne comprends pas pourquoi on a besoin de l'étape 3, à savoir prouver que pour tout segment initial propre $M$ d'une pseudo formule, on a $o[M]\geqslant b[M]$. Ne peut-on pas se contenter des étapes 1, 2 et 4 ?
dans l'un des exercices du Cori Lascar (exercice 3 du chapitre 1), on demande de prouver le théorème de lecture unique pour les pseudoformules. Dans le corrigé en pièce-jointe, je ne comprends pas pourquoi on a besoin de l'étape 3, à savoir prouver que pour tout segment initial propre $M$ d'une pseudo formule, on a $o[M]\geqslant b[M]$. Ne peut-on pas se contenter des étapes 1, 2 et 4 ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses