Congetura ëd Vaught

Da testwiki.
Vai alla navigazione Vai alla ricerca

Stamp:Prinsipi 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 0 opura c=20 modej.
As capiss che sota l'ipòtesi dël continuo c a l'é ël cardinal sucessor d'0 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 0, 1 opura c modej. Stamp:Fin