Geodesic
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 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

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},
     year = {1982},
     volume = {Ser. 8, 72},
     number = {6},
     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
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
%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/

[1] K.J. Barwise (1974) - Axioms for abstract model theory, «Ann. Math. Logic», 7, 221-265. | Zbl

[2] P. Lindstrom (1966) - First order predicate logic with generalized quantifiers, «Theoria», 32, 186-195. | Zbl

[3] P. Lipparini - Duality for compact logics and substitution in abstract model theory, preprint.

[4] J.A. Makowsky and S. Shelah - Positive results in abstract model theory, preprint.

[5] J.A. Makowsky, S. Shelah and S. Stavi (1976) - $\Delta$-logics and generalized quantifiers, «Ann. Math. Logic.», 10, 155-192. | Zbl

[6] D. Mundici (1982) - Interpolation, compactness and JEP in soft model theory, «Arch. Math. Logik», 22, 61-67. | fulltext EuDML

[7] D. Mundici (1982) - Duality between logics and equivalence relations, «Trans. Amer. Math. Soc.», 270, 111-129.

[8] D. Mundici (1981) - An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, «J. Symbolic Logic», 46, 523-530. | Zbl

[9] D. Mundici (1981) - Variations on Friedman's third and fourth problem, in Proceedings of the International Conference: «Open Days for Model Theory and Set Theory» (H. Rasiowa and W. Marek Chair.), Warsaw Sept.

[10] M.E. Nadel (1980) - An arbitrary equivalence relation as elementary equivalence in abstract logic, «Z. Math. Logik Grundlagen Math.», 26, 103-109. | Zbl

[11] S. Shelah (1975) - Generalized quantifiers and compact logic, «Trans, Amer. Math. Soc.», 204, 342-364. | Zbl