Teorema di Löwenheim-Skolem

Questa voce sull'argomento logica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

In teoria dei modelli, il teorema di Löwenheim-Skolem, enunciato da Leopold Löwenheim nel 1915 e dimostrato completamente nel 1920 da Thoralf Skolem, stabilisce che se un insieme di formule chiuse di una logica del primo ordine ammette un modello infinito, allora ammette un modello di una qualsiasi cardinalità infinita maggiore o uguale al cardinale del linguaggio e dell'insieme delle formule.^[1] Il risultato è spesso presentato sotto forma di due teoremi: il teorema di Löwenheim-Skolem ascendente e il teorema di Löwenheim-Skolem discendente.

Note

^ (EN) Eric W. Weisstein, Teorema di Löwenheim-Skolem, in MathWorld, Wolfram Research.

Collegamenti esterni

Lowenheim-Skolem, teorema di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) Löwenheim–Skolem theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Teorema di Löwenheim-Skolem, su MathWorld, Wolfram Research.