Congetura ëd Vaught
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. 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. |