Nell'ambito della Teoria dei Modelli Astratta è possibile dimostrare che una logica compatta L è univocamente determinata dalla sua relazione di L-elementare equivalenza (Teorema 1). Si enunciano poi alcuni risultati sulle logiche massime correlate a certe relazioni di equivalenza e sulle logiche compatte generate da qualche sistema di Fraissé-Ehrenfeucht.
Lipparini, P. (1982). Some results about compact logics. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, 72(6), 308-311.
Some results about compact logics
Lipparini, Paolo
1982-01-01
Abstract
Nell'ambito della Teoria dei Modelli Astratta è possibile dimostrare che una logica compatta L è univocamente determinata dalla sua relazione di L-elementare equivalenza (Teorema 1). Si enunciano poi alcuni risultati sulle logiche massime correlate a certe relazioni di equivalenza e sulle logiche compatte generate da qualche sistema di Fraissé-Ehrenfeucht.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
1982SomeResultsAboutCompactLogicsRLINA_1982_8_72_6_308_0.pdf
accesso aperto
Descrizione: articolo
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
295.45 kB
Formato
Adobe PDF
|
295.45 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.