Large cardinals as principles of structural reflection
J Bagaria - Bulletin of Symbolic Logic, 2023 - cambridge.org
After discussing the limitations inherent to all set-theoretic reflection principles akin to those
studied by A. Lévy et. al. in the 1960s, we introduce new principles of reflection based on the …
studied by A. Lévy et. al. in the 1960s, we introduce new principles of reflection based on the …
Outward compactness
P Holy, P Lücke, S Müller - arXiv preprint arXiv:2402.15788, 2024 - arxiv.org
We introduce and study a new type of compactness principle for strong logics that, roughly
speaking, infers the consistency of a theory from the consistency of its small fragments in …
speaking, infers the consistency of a theory from the consistency of its small fragments in …