activity
19962025
most citedSplitting families and complete separability

13 citations · 26 across the 20 of their papers we have counts for

collaborators

22 papers

math.LO2025

Forcing Diamond and Applications to Iterability

Heike Mildenberger, Saharon Shelah

We show that higher Sacks forcing at a regular limit cardinal and club Miller forcing at an uncountable regular cardinal both add a diamond sequence. We answer the longstanding que…

math.LO2024

Good Scales and Non-Compactness of Squares

Maxwell Levine, Heike Mildenberger

Cummings, Foreman, and Magidor investigated the extent to which square principles are compact at singular cardinals. The first author proved that if is a singular strong limit…

math.LO2021

Distributivity and Minimality in Perfect Tree Forcings for Singular Cardinals

Maxwell Levine, Heike Mildenberger

Dobrinen, Hathaway and Prikry studied a forcing consisting of perfect trees of height and width where is a singular -strong limit of cofinality . T…

math.LO2021

Mathias and Silver forcing parametrized by density

Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle

We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardina…

math.LO2020

On splitting trees

Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle

We investigate two variants of splitting tree forcing, their ideals and regularity properties. We prove connections with other well-known notions, such as Lebesgue measurablility,…

math.LO2019★ 3 cited

Uncountable structures are not classifiable up to bi-embeddability

Filippo Calderoni, Heike Mildenberger, Luca Motto Ros

Answering some of the main questions from [MR13], we show that whenever is a cardinal satisfying , then the embeddability relation between -sized structures…