Nella parte "Elementi di teoria dei modelli" ho presentato tre tipi di argomenti. I risultati su interpolazione e definibilità (dovuti a Lyndon, Robinson e Beth) che completano la metateoria classica delle teorie del I ordine. I teoremi di compattezza e di Loewenheim-Skolem che mettono in luce peculiarità, capacità espressive e "debolezze" di quelle stesse teorie del I ordine. E, infine, la elegante costruzione degli ultraprodotti, risalente a Skolem, ma molto più recentemente sviluppata da Løs e altri, che ha permesso di ottenere importanti risultati, come la compattezza, per via puramente semantica.
Argomenti di logica
MARLETTI, CARLO;MORICONI, ENRICO;
2010-01-01
Abstract
Nella parte "Elementi di teoria dei modelli" ho presentato tre tipi di argomenti. I risultati su interpolazione e definibilità (dovuti a Lyndon, Robinson e Beth) che completano la metateoria classica delle teorie del I ordine. I teoremi di compattezza e di Loewenheim-Skolem che mettono in luce peculiarità, capacità espressive e "debolezze" di quelle stesse teorie del I ordine. E, infine, la elegante costruzione degli ultraprodotti, risalente a Skolem, ma molto più recentemente sviluppata da Løs e altri, che ha permesso di ottenere importanti risultati, come la compattezza, per via puramente semantica.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
