Some results about compact logics
Lipparini, Paolo
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982), p. 308-311 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

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.

Publié le : 1982-06-01
@article{RLINA_1982_8_72_6_308_0,
     author = {Paolo Lipparini},
     title = {Some results about compact logics},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {72},
     year = {1982},
     pages = {308-311},
     zbl = {0548.03015},
     mrnumber = {0726293},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLINA_1982_8_72_6_308_0}
}

Lipparini, Paolo. Some results about compact logics. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982) pp. 308-311. http://gdmltest.u-ga.fr/item/RLINA_1982_8_72_6_308_0/

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

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

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

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

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

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

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

[8] Mundici, D. (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 0465.03020

[9] Mundici, D. (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] Nadel, M.E. (1980) - An arbitrary equivalence relation as elementary equivalence in abstract logic, «Z. Math. Logik Grundlagen Math.», 26, 103-109. | Zbl 0444.03016

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