Some results about compact logics
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 72 (1982) no. 6, pp. 308-311
Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica
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.
@article{RLINA_1982_8_72_6_a1,
author = {Lipparini, Paolo},
title = {Some results about compact logics},
journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
pages = {308--311},
publisher = {mathdoc},
volume = {Ser. 8, 72},
number = {6},
year = {1982},
zbl = {0548.03015},
mrnumber = {0726293},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a1/}
}
TY - JOUR AU - Lipparini, Paolo TI - Some results about compact logics JO - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali PY - 1982 SP - 308 EP - 311 VL - 72 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a1/ LA - en ID - RLINA_1982_8_72_6_a1 ER -
%0 Journal Article %A Lipparini, Paolo %T Some results about compact logics %J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali %D 1982 %P 308-311 %V 72 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a1/ %G en %F RLINA_1982_8_72_6_a1
Lipparini, Paolo. Some results about compact logics. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 72 (1982) no. 6, pp. 308-311. http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a1/