Journal of Symbolic Logic

Vopenka's Principle and Compact Logics

J. A. Makowsky

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

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.

Article information

Source
J. Symbolic Logic, Volume 50, Issue 1 (1985), 42-48.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183741773

Mathematical Reviews number (MathSciNet)
MR780522

Zentralblatt MATH identifier
0623.03041

JSTOR
links.jstor.org

Keywords
Large Cardinals abstract model theory

Citation

Makowsky, J. A. Vopenka's Principle and Compact Logics. J. Symbolic Logic 50 (1985), no. 1, 42--48. https://projecteuclid.org/euclid.jsl/1183741773


Export citation