Showing 2025 · math.LOShow all
2 papers · 2 filters
math.LO2025
Combinatorics in Higher Solovay Models
Alejandro Poveda, Sebastiano Thei
We construe the singular-cardinal analogue of the classical Solovay model. Starting with large cardinal assumptions in the realm of supercompactness, we show that the our inner mod…
math.LO2025
Higher Solovay Models
Cesare Straffelini, Sebastiano Thei
We introduce an axiomatisation of when a model of the form can be considered a ``-Solovay model''; we show a characterisation of -Solovay models; and we prove…