Che cosa dice il teorema di Los?

salvozungri
Sto studiando logica matematica, e purtroppo inceppo molto spesso perchè non mi è chiaro il linguaggio utilizzato. Ora vi chiedo se gentilmente potreste dirmi cosa afferma il teorema di Los.
Non pretendo una dimostrazione, ma solo una spiegazione nel metalinguaggio. Grazie a tutti coloro che si interesseranno. Buona giornata.

Nb: Se la domanda non è chiara fatemi sapere :)

Risposte
fields1
In termini intuitivi il teorema di Los dice che da una collezione di strutture si puo' costruire una nuova struttura tale che un enunciato e' vero nella nuova struttura sse e' vero nella "maggior parte" delle strutture di partenza (i.e. l'insieme degli indici delle strutture di partenza che verificano l'enunciato appartiene all'ultrafiltro di riferimento)

salvozungri
Ti ringrazio molto per l'interessamento :)
Vorrei chiederti, se posso, dei consigli su come devo approcciarmi alla materia. Non so perchè ma logica matematica mi sta dando del filo da torcere. Grazie ancora!

francoz1
So che sono passati 7 anni, ma mi dici come hai fatto a superare questo scoglio ? :-D

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.