Johann A. Makowsky Vopenka's Principle and Compact Logics. 42-48 1985 50 J. Symb. Log. 1 db/journals/jsyml/jsyml50.html#Makowsky85