Vopenka's Principle and Compact Logics
Makowsky, J. A.
J. Symbolic Logic, Tome 50 (1985) no. 1, p. 42-48 / Harvested from Project Euclid
We study the effects of Vopenka's principle on properties of model theoretic logics. We show that Vopenka's principle is equivalent to the assumption that every finitely generated logic has a compact cardinal. We show also that it is equivalent to the assumption that every such logic has a global Hanf number.
Publié le : 1985-03-14
Classification:  Large Cardinals,  abstract model theory
@article{1183741773,
     author = {Makowsky, J. A.},
     title = {Vopenka's Principle and Compact Logics},
     journal = {J. Symbolic Logic},
     volume = {50},
     number = {1},
     year = {1985},
     pages = { 42-48},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741773}
}
Makowsky, J. A. Vopenka's Principle and Compact Logics. J. Symbolic Logic, Tome 50 (1985) no. 1, pp.  42-48. http://gdmltest.u-ga.fr/item/1183741773/