Vai al contenuto

Congetura ëd Vaught

Da Wikipedia.
Vos an lenga piemontèisa
Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì.

La congetura ëd Vaught a fortiss che na teorìa completa numeràbil con na quantità infinìa ëd modej a manch ëd n'isomorfism a l'ha o bin opura modej.
As capiss che sota l'ipòtesi dël continuo c a l'é ël cardinal sucessor d' e la congetura a perd d'anteresse.

La congetura a l'é stàita enonsià dël 1977 da Robert L. Vaught ant l'artìcol A Löwenheim-Skolem theorem for cardinals far apart.

N'argoment amportant a pro dla congetura ëd Vaught - ch'a resta ancora un problema duvert - a l'é un teorema ëd Morley ch'a fortiss che na teorìa përparèj a l'ha , opura c modej.