Some results about compact logics

Paolo Lipparini

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni (1982)

  • Volume: 72, Issue: 6, page 308-311
  • ISSN: 1120-6330

How to cite

top

Lipparini, 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
  1. Barwise, K.J. (1974) - Axioms for abstract model theory, «Ann. Math. Logic», 7, 221-265. Zbl0324.02034
  2. Lindstrom, P. (1966) - First order predicate logic with generalized quantifiers, «Theoria», 32, 186-195. Zbl1230.03072
  3. Lipparini, P. - Duality for compact logics and substitution in abstract model theory, preprint. Zbl0559.03024
  4. Makowsky, J.A. and Shelah, S. - Positive results in abstract model theory, preprint. Zbl0544.03013
  5. Makowsky, J.A., Shelah, S. and Stavi, S. (1976) - Δ -logics and generalized quantifiers, «Ann. Math. Logic.», 10, 155-192. Zbl0346.02007
  6. Mundici, D. (1982) - Interpolation, compactness and JEP in soft model theory, «Arch. Math. Logik», 22, 61-67. Zbl0495.03019
  7. Mundici, D. (1982) - Duality between logics and equivalence relations, «Trans. Amer. Math. Soc.», 270, 111-129. Zbl0497.03018
  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. Zbl0465.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. Zbl0444.03016
  11. Shelah, S. (1975) - Generalized quantifiers and compact logic, «Trans, Amer. Math. Soc.», 204, 342-364. Zbl0322.02010

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.