Vopěnka's principle and compact logics

DOI10.2307/2273786zbMath0623.03041OpenAlexW2150290311MaRDI QIDQ3760532

Johann A. Makowsky

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273786

zbMATH Keywords

axiomatizabilityVopěnka's principleHorn sentencesHanf numberscompact cardinalslarge cardinal axiommaximal structuresmodel theoretic logics

Mathematics Subject Classification ID

Large cardinals (03E55) Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Related Items (7)

On the scarcity of contravariant left adjunctions ⋮ Model theoretic characterizations of large cardinals ⋮ How many variables does a quasivariety need? ⋮ From Hilbert's program to a logic tool box ⋮ On the expressive power of data dependencies ⋮ Positive results in abstract model theory: a theory of compact logics ⋮ Definability properties and the congruence closure

Cites Work

• Positive results in abstract model theory: a theory of compact logics
• On the role of supercompact and extendible cardinals in logic
• Strong axioms of infinity and elementary embeddings

This page was built for publication: Vopěnka's principle and compact logics