Teorema di Löwenheim-Skolem: dimostrazione

tramite: O2O
Difficoltà: media
14

Introduzione

In questo articolo vorrei illustrarvi la dimostrazione del Teorema di Löwenheim-Skolem. Il Teorema di Löwenheim-Skolem si chiama così perché prende il suo nome dai suoi matematici ideatori Leopold Löwenheim e Thoralf Skolem. Il Teorema di Löwenheim-Skolem afferma che se una teoria del primo ordine numerabile ha un modello infinito, allora per ogni numero cardinale infinito κ, si ha un modello di dimensioni κ.
Da qui si può capire che le teorie del primo ordine non sono in grado di controllare la cardinalità dei modelli infiniti, e nessuna teoria del primo ordine con un modello infinito può avere un modello unico a meno di isomorfismo. Successivamente vi illustrerò i vari passaggi della dimostrazione del Teorema di Löwenheim-Skolem.

24

Dimostrazione del teorema

Il primo passaggio da seguire della dimostrazione del Teorema di Löwenheim-Skolem è che bisogna sapere e conoscere che la versione moderna del teorema è più generale e più forte. Il Teorema di Löwenheim-Skolem afferma che per ogni firma σ, per ogni struttura M e per ogni numero cardinale infinito κ ≥ | σ |, esiste una struttura di σ N tale che | N | = κ e
se κ <| M | N allora è una sottostruttura elementare di M;
se κ> | M | N allora è una estensione elementare di M.
Il Teorema di Löwenheim-Skolem è molto spesso suddiviso in due parti.
Le due parti in sui è suddiviso il Teorema di Löwenheim-Skolem vengono definite Teorema di Löwenheim-Skolem all'ingiù e Teorema di Löwenheim-Skolem all'insù. Il Teorema di Löwenheim-Skolem all'ingiù afferma che una struttura ha sottostrutture elementari di tutte le infinite piccole cardinalità. Il Teorema di Löwenheim-Skolem all'insù afferma invece che una struttura ha estensioni elementari in tutte le cardinalità maggiori.

34

Vari aspetti del teorema

Il secondo passaggio da seguire della dimostrazione del Teorema di Löwenheim-Skolem è che una prima cosa da ricordare molto bene è che N rappresenta l'insieme dei numeri naturali e R rappresenta quello dei numeri reali. Dal Teorema di Löwenheim-Skolem possiamo capire che la teoria della vera aritmetica del primo ordine presenta innumerevoli modelli, mentre la teoria dei campi reali chiusi presenta un modello numerabile. Il Teorema di Löwenheim-Skolem dimostra che questi non possono essere assiomatizzazioni di primo ordine.

Continua la lettura
44

Utilizzo del teorema di compattezza

Il terzo e ultimo passaggio da seguire della dimostrazione del Teorema di Löwenheim-Skolem è che bisogna ricordarsi che la teoria completa M per la firma estesa σ' è chiamata schema elementare di M. Utilizzando il teorema di compattezza, la teoria risultante si verifica essere facilmente verificata.

Potrebbe interessarti anche

Segnala contenuti non appropriati

Tipo di contenuto
Devi scegliere almeno una delle opzioni
Descrivi il problema
Devi inserire una descrizione del problema
Si è verificato un errore nel sistema. Riprova più tardi.
Verifica la tua identità
Devi verificare la tua identità
chiudi
Grazie per averci aiutato a migliorare la qualità dei nostri contenuti

Guide simili

Università e Master

Teorema di Dirichlet: dimostrazione

Johann Peter Gustav Lejeune Dirichlet fu un matematico tedesco. Nacque a Duren, dove il padre lavorava come direttore all'Ufficio Postale. Il giovane Dirichlet studiò in Germania e in Francia, dove ebbe modo di conoscere molti dei più celebri matematici...
Università e Master

Teorema di Eulero: dimostrazione

Il Teorema di Eulero (chiamato anche Teorema di Fermat-Eulero) dimostra che se è un intero positivo e un coprimo (interi che non hanno nessun divisore a eccezione di 1 e -1, se il loro massimo comune divisore è 1) rispetto a. In questo modo φ() ≡...
Università e Master

Teorema di Desargues: dimostrazione

Come avrete già potuto comprendere leggendovi il titolo che accompagna la nostra guida, ora ci concentreremo su un tema davvero importante. La materia che tratteremo sarà la geometria analitica, in quanto proveremo, nei prossimi tre passi, a spiegare...
Università e Master

Teorema dell'elemento primitivo: dimostrazione

La dimostrazione di un teorema, in qualsiasi campo matematico, desta da sempre molte difficoltà. Spesso i passaggi vengono spiegati molto velocemente e questo è causa di incomprensione da parte di chi si avvicina alla loro risoluzione. È pur vero,...
Università e Master

Teorema della funzione inversa: dimostrazione

In matematica, ed in particolare nel calcolo differenziale, il terorema dela funzione inversa fornisce le condizioni sufficienti per una funzione per essere invertibile in un intorno di un punto del dominio. Il teorema definisce inoltre una formula per...
Università e Master

Teorema di Eulero (aritmetica modulare): dimostrazione

Questa guida dal titolo "Teorema di Eulero (aritmetica modulare): dimostrazione" si prefigge di dimostrare cos'è. Il Teorema di Eulero può essere considerato in alcuni casi la conseguenza del teorema di Lagrange, che spiegherò in modo dettagliato nei...
Superiori

Teorema di De L'Hopital: dimostrazione

Spesso quando si studiano funzioni, o comunque in tanti altri casi, a seconda delle esigenze di studio occorre sapere come si possono calcolare i limiti. Talvolta tale calcolo risulta difficoltoso e questo nella maggior parte dei casi è dovuto al fatto...
Università e Master

Teorema di Henkin: dimostrazione

L'ambito scolastico è stato sempre visto come luogo di studio e conoscenza, entravamo palpitanti per conoscere sistemi sino a quel momento sconosciuti, grazie a questo siamo riusciti a comprendere forme e parole delle varie materie, ma, non sempre si...
I presenti contributi sono stati redatti dagli autori ivi menzionati a solo scopo informativo tramite l’utilizzo della piattaforma www.o2o.it e possono essere modificati dagli stessi in qualsiasi momento. Il sito web, www.o2o.it e Arnoldo Mondadori Editore S.p.A. (già Banzai Media S.r.l. fusa per incorporazione in Arnoldo Mondadori Editore S.p.A.), non garantiscono la veridicità, correttezza e completezza di tali contributi e, pertanto, non si assumono alcuna responsabilità in merito all’utilizzo delle informazioni ivi riportate. Per maggiori informazioni leggi il “Disclaimer »”.