La tesi mostra una panoramica sulle Leggi 0-1, le quali affermano che un determinato evento debba avere probabilità 0 oppure 1 (senza alcun valore intermedio). In particolare ci interessa il loro ruolo nella Logica del Primo Ordine e nella Teoria dei Modelli Finiti, e a tal scopo si dimostra il Teorema di Fagin, dopo aver definito il concetto di probabilità asintotica per le proposizioni di un linguaggio.

Le leggi 0-1 nella Teoria dei Modelli Finiti

D'AURIA, DANIELE
2021/2022

Abstract

La tesi mostra una panoramica sulle Leggi 0-1, le quali affermano che un determinato evento debba avere probabilità 0 oppure 1 (senza alcun valore intermedio). In particolare ci interessa il loro ruolo nella Logica del Primo Ordine e nella Teoria dei Modelli Finiti, e a tal scopo si dimostra il Teorema di Fagin, dopo aver definito il concetto di probabilità asintotica per le proposizioni di un linguaggio.
2021
0-1 Laws in Finite Model Theory
Leggi 0-1
Modelli Finiti
Logica
Teoria dei Modelli
Finite Model Theory
File in questo prodotto:
File Dimensione Formato  
D'Auria_Daniele.pdf

accesso riservato

Dimensione 715.73 kB
Formato Adobe PDF
715.73 kB Adobe PDF

The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12608/42080