Vopěnka's principle and compact logics
From MaRDI portal
Publication:3760532
DOI10.2307/2273786zbMath0623.03041MaRDI QIDQ3760532
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
axiomatizability; Vopěnka's principle; Horn sentences; Hanf numbers; compact cardinals; large cardinal axiom; maximal structures; model theoretic logics
03E55: Large cardinals
03C80: Logic with extra quantifiers and operators
03C95: Abstract model theory
Related Items
How many variables does a quasivariety need?, Positive results in abstract model theory: a theory of compact logics, Definability properties and the congruence closure, From Hilbert's program to a logic tool box, On the scarcity of contravariant left adjunctions, On the expressive power of data dependencies, Model theoretic characterizations of large cardinals
Cites Work