Some results about compact logics
- Volume: 72, Issue: 6, page 308-311
- ISSN: 1120-6330
Access Full Article
top
Abstract
topHow to cite
topLipparini, Paolo. "Some results about compact logics." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 72.6 (1982): 308-311. <http://eudml.org/doc/287017>.
@article{Lipparini1982,
author = {Lipparini, Paolo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {compact logics; equivalence relations; FE-system; countably generated logic; joint embedding property},
language = {eng},
month = {6},
number = {6},
pages = {308-311},
publisher = {Accademia Nazionale dei Lincei},
title = {Some results about compact logics},
url = {http://eudml.org/doc/287017},
volume = {72},
year = {1982},
}
TY - JOUR
AU - Lipparini, Paolo
TI - Some results about compact logics
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1982/6//
PB - Accademia Nazionale dei Lincei
VL - 72
IS - 6
SP - 308
EP - 311
LA - eng
KW - compact logics; equivalence relations; FE-system; countably generated logic; joint embedding property
UR - http://eudml.org/doc/287017
ER -
References
top- Barwise, K.J. (1974) - Axioms for abstract model theory, «Ann. Math. Logic», 7, 221-265. Zbl0324.02034
- Lindstrom, P. (1966) - First order predicate logic with generalized quantifiers, «Theoria», 32, 186-195. Zbl1230.03072
- Lipparini, P. - Duality for compact logics and substitution in abstract model theory, preprint. Zbl0559.03024
- Makowsky, J.A. and Shelah, S. - Positive results in abstract model theory, preprint. Zbl0544.03013
- Makowsky, J.A., Shelah, S. and Stavi, S. (1976) - -logics and generalized quantifiers, «Ann. Math. Logic.», 10, 155-192. Zbl0346.02007
- Mundici, D. (1982) - Interpolation, compactness and JEP in soft model theory, «Arch. Math. Logik», 22, 61-67. Zbl0495.03019
- Mundici, D. (1982) - Duality between logics and equivalence relations, «Trans. Amer. Math. Soc.», 270, 111-129. Zbl0497.03018
- 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. Zbl0465.03020
- 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.
- Nadel, M.E. (1980) - An arbitrary equivalence relation as elementary equivalence in abstract logic, «Z. Math. Logik Grundlagen Math.», 26, 103-109. Zbl0444.03016
- Shelah, S. (1975) - Generalized quantifiers and compact logic, «Trans, Amer. Math. Soc.», 204, 342-364. Zbl0322.02010
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.