Results 1 to 7 of about 12 (7)
Measure, category and projective wellorders
Journal of Logic and Analysis, 2015 Summary: We show that each admissible assignment of \(\aleph_1\) and \(\aleph_2\) to the cardinal invariants in the CichoĊ Diagram is consistent with the existence of a projective wellorder of the reals.
Fischer, Vera +2 more
openaire +7 more sources
Projective wellorders and mad families with large continuum
Annals of Pure and Applied Logic, 2011 In an earlier paper [Ann. Pure Appl. Logic 161, No. 12, 1581--1587 (2010; Zbl 1225.03059)], the second and the third author investigated how consistently low in the projective hierarchy one can go to find a mad subset of \([\omega]^\omega\) or a mad subset of \(\omega^\omega\), where \([\omega]^\omega\) is the set of all infinite subsets of \(\omega ...
Vera Fischer +2 more
openaire +4 more sources
Cardinal characteristics and projective wellorders
Annals of Pure and Applied Logic, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vera Fischer, Sy-David Friedman
openaire +3 more sources
Projective wellorders and the nonstationary ideal
, 2016 We show that, under the assumption of the existence of $M_1^{\#}$, there exists a model on which the restricted nonstationary ideal $\NSA$ is $\aleph_2$-saturated, for $A$ a stationary co-stationary subset of $\omega_1$, while the full nonstationary ideal $\NS$ can be made $\Delta_1$ definable with $\omega_1$ as a parameter.
Hoffelner, Stefan
core +4 more sources
Cardinal characteristics, projective wellorders and large continuum
Annals of Pure and Applied Logic, 2013 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vera Fischer +2 more
openaire +2 more sources
We will discuss a new analysis of ladder mice, first introduced and studied by Rudominer, and then Woodin and Steel. Our analysis establishes a (lightface) mouse set theorem, which appears to be more general than what was known earlier: OD_{alpha n} is a
Schlutzenberg, Farmer Salamander
core