Biba's trick, with applications
Logic
2025-07-10 v3
Abstract
We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the assumptions of this theorem. We also extend the conclusion of author's 2004 lifting theorem from a lifting result for countably 3204-determined ideals to one for countably 80-determined ideals and weaken its assumptions.
Cite
@article{arxiv.2412.09716,
title = {Biba's trick, with applications},
author = {Ilijas Farah},
journal= {arXiv preprint arXiv:2412.09716},
year = {2025}
}
Comments
26 pages. The proof of Lemma 3.4 appeared to be written by Students 2.0 (aka \'caci). Fixed. To appear in Israel J. Math