Graduate studies at Western
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||Large Cardinals abstract model theory|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Luc Lismont & Philippe Mongin (2003). Strong Completeness Theorems for Weak Logics of Common Belief. Journal of Philosophical Logic 32 (2):115-137.
Paolo Lipparini (1987). Limit Ultrapowers and Abstract Logics. Journal of Symbolic Logic 52 (2):437-454.
Kooi, Barteld, Renardel de Lavalette, Gerard & Verbrugge, Rineke, Hybrid Logics with Infinitary Proof Systems.
Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi, Hybrid Logics with Infinitary Proof Systems.
Yoshihito Tanaka (2001). Model Existence in Non-Compact Modal Logic. Studia Logica 67 (1):61-73.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Arthur W. Apter (1999). On Measurable Limits of Compact Cardinals. Journal of Symbolic Logic 64 (4):1675-1688.
Arthur W. Apter (1998). Laver Indestructibility and the Class of Compact Cardinals. Journal of Symbolic Logic 63 (1):149-157.
Mitchell Spector (1991). Extended Ultrapowers and the Vopěnka-Hrbáček Theorem Without Choice. Journal of Symbolic Logic 56 (2):592-607.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,081 of 739,315 )
Recent downloads (6 months)0
How can I increase my downloads?