Showing 2024Show all
2 papers · 1 filter
math.LO2024
Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
Sandra Müller
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt Gödel's famous…
math.LO2024
Outward compactness
Peter Holy, Philipp Lücke, Sandra Müller
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…