2 papers
math.LO2026
A General Theory of Class Symmetric Systems
Peter Holy, Emma Palmer, Jonathan Schilhan
We develop a general theory for class-sized symmetric systems as a natural extension of symmetric systems with respect to class forcing. In particular, adapting the usual notions o…
math.LO2025
sets in the Sacks model
Jonathan Schilhan
We show that in the iterated Sacks model over the constructible universe the Mansfield-Solovay Theorem holds for sets. In particular, every set is Marczews…