Showing math.LOShow all
3 papers · 1 filter
math.LO2025
Adding cofinal countable sequences through multiple regular cardinals by ssp forcing
Ben De Bondt, Boban Velickovic
We present a direct construction of stationary set preserving forcings that make -cofinal all the members of some arbitrary set of regular cardinals . I…
math.LO2024
A metric lifting theorem
Ben De Bondt, Alessandro Vignati
In a recent article by Farah and the authors, a strong lifting theorem was proved for a class of coordinate-respecting maps between reduced products of discrete structures, hereby…
math.LO2024
Trivial Isomorphisms between Reduced Products
Ben De Bondt, Ilijas Farah, Alessandro Vignati
We introduce a general method for showing under weak forcing axioms that reduced products of countable models of a theory have as few automorphisms as possible. We show that su…