collaborators
Showing math.LOShow all

6 papers · 1 filter

math.LO2026

On the Intermediate Models of Strongly Compact Prikry Forcing

Tom Benhamou, Sebastiano Thei, Ben-Zion Weltsch

We analyze the intermediate models of the strongly compact Prikry forcing. We exhibit a simple combinatorial property which, for a given supercompact cardinal , characterize th…

math.LO2026

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.LO2026

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 pro…

math.LO2026

A Note on a Theorem of Apter

Rahman Mohammadpour, Otto Rajala, Sebastiano Thei

We show that the consistency of is measurable implies the consistency of is the least strongly regular cardin…

math.LO2024

No cardinal correct inner model elementarily embeds into the universe

Gabriel Goldberg, Sebastiano Thei

An elementary embedding between two inner models of ZFC is cardinal preserving if and correctly compute the class of cardinals. We look at the case

math.LO2024

The Baire and perfect set properties at singulars cardinals

Vincenzo Dimonte, Alejandro Poveda, Sebastiano Thei

We construct a model of ZFC with a singular cardinal such that every subset of in has both the -Perfect Set Property and the -Baire P…