Adding Abraham clubs and $\alpha$-properness
Logic
2024-09-17 v1
Abstract
For every indecomposable ordinal , we introduce a variant of Abraham forcing for adding a club in , which is -proper but not -proper.
Cite
@article{arxiv.2409.09697,
title = {Adding Abraham clubs and $\alpha$-properness},
author = {Mohammad Golshani and Rouholah Hoseini Naveh},
journal= {arXiv preprint arXiv:2409.09697},
year = {2024}
}