Martin's Axiom, Large Continuum and Global $\Sigma^1_n$-Uniformization
Logic
2026-05-21 v1
Abstract
We construct a generic extension of satisfying Martin's Axiom, , a lightface wellorder of the reals, and -uniformization for every simultaneously.
Cite
@article{arxiv.2605.21189,
title = {Martin's Axiom, Large Continuum and Global $\Sigma^1_n$-Uniformization},
author = {Stefan Hoffelner},
journal= {arXiv preprint arXiv:2605.21189},
year = {2026}
}