Forcing Axioms, the Uniformization and the Basis Property
Logic
2025-06-17 v3
Abstract
We show that there are models of MA where the boldface -uniformization property holds. Further we show that BPFA and the assertion is accessible to reals outright implies that the boldface -uniformization property is true.
Cite
@article{arxiv.2001.07977,
title = {Forcing Axioms, the Uniformization and the Basis Property},
author = {Stefan Hoffelner},
journal= {arXiv preprint arXiv:2001.07977},
year = {2025}
}
Comments
31 pages