Vopěnka's principle and compact logics
AbstractWe study the effects of Vopěnka's principle on properties of model theoretic logics. We show that Vopěnka'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.
2014 ◽
Vol 51
(4)
◽
pp. 547-555
◽
2016 ◽
Vol 17
(4)
◽
pp. 979-980
Keyword(s):
1980 ◽
Vol 88
(1)
◽
pp. 15-31
◽
Keyword(s):
Keyword(s):