14 citations · 71 across the 17 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015★ 9 cited
The left side of Cichoń's diagram
Martin Goldstern, Diego A. Mejía, Saharon Shelah
Using a finite support iteration of ccc forcings, we construct a model of $\aleph_1<\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{b}<\mathrm{non}(\mathcal{M})<\math…
math.LO2015
Borel computation of names in template iterations
Diego Alejandro Mejía
We prove that, for a suitable iteration along a template, we can compute any name for a real from a Borel function coded in the ground model evaluated at only countably many of the…
math.LO2015
Preservation properties for iterations with finite support
Diego Alejandro Mejía
We present the classical theory of preservation of -unbounded families in generic extensions by ccc posets, where is a definable relation of certain type on…