Geodesic
Consequences of compactness properties for abstract logics
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 80 (1986) no. 7-12, pp. 501-503
Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche $\left[ \lambda,\mu \right]$-compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale $k$ tale che una logica è $(k,k)$-compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di $(\lambda,\mu)$-compattezza e $\left[ \lambda,\mu \right]$-compattezza. 
@article{RLINA_1986_8_80_7-12_a1,
     author = {Lipparini, Paolo},
     title = {Consequences of compactness properties for abstract logics},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {501--503},
     year = {1986},
     volume = {Ser. 8, 80},
     number = {7-12},
     zbl = {0662.03031},
     mrnumber = {0976942},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a1/}
}
TY  - JOUR
AU  - Lipparini, Paolo
TI  - Consequences of compactness properties for abstract logics
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1986
SP  - 501
EP  - 503
VL  - 80
IS  - 7-12
UR  - http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a1/
LA  - en
ID  - RLINA_1986_8_80_7-12_a1
ER  - 
%0 Journal Article
%A Lipparini, Paolo
%T Consequences of compactness properties for abstract logics
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1986
%P 501-503
%V 80
%N 7-12
%U http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a1/
%G en
%F RLINA_1986_8_80_7-12_a1
Lipparini, Paolo. Consequences of compactness properties for abstract logics. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 80 (1986) no. 7-12, pp. 501-503. http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a1/

[1] J. Barwise and S. Feferman (editors) (1984) - Model-theoretic logics, Berlin.

[2] A. Kanamori and Magidor (1978) - The evolution of large cardinal axioms in Set Theory - Higher Set Theory, Lecture Notes in Mathematics 669, Berlin. | Zbl

[3] J.A. Makowsky and S. Shelah (1979) - The Theorems of Beth and Craig in abstract model theory. I: The Abstract Setting, «Trans. Amer. Math. Soc.», 256, 215-239. | DOI | MR | Zbl

[4] J.A. Makowsky and S. Shelah (1983) - Positive results in abstract model theory, «Ann. Pure Appl. Logic», 25, 263-299. | DOI | MR | Zbl