Vopěnka's principle and compact logics
Journal of Symbolic Logic 50 (1):42-48 (1985)
| Abstract | We 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLuc Lismont & Philippe Mongin (2003). Strong Completeness Theorems for Weak Logics of Common Belief. Journal of Philosophical Logic 32 (2):115-137.
Arthur W. Apter (1998). Laver Indestructibility and the Class of Compact Cardinals. Journal of Symbolic Logic 63 (1):149-157.
Arthur W. Apter (1999). On Measurable Limits of Compact Cardinals. Journal of Symbolic Logic 64 (4):1675-1688.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Yoshihito Tanaka (2001). Model Existence in Non-Compact Modal Logic. Studia Logica 67 (1):61-73.
Paolo Lipparini (1987). Limit Ultrapowers and Abstract Logics. Journal of Symbolic Logic 52 (2):437-454.
Mitchell Spector (1991). Extended Ultrapowers and the Vopěnka-Hrbáček Theorem Without Choice. Journal of Symbolic Logic 56 (2):592-607.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #275,109 of 551,054 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
