Guessing genericity -- looking at parametrized diamonds from a different perspective
Logic
2025-03-18 v2
Abstract
We introduce and study a family of axioms that closely follows the pattern of parametrized diamonds, studied by Moore, Hru\v{s}\'ak, and D\v{z}amonja in [13]. However, our approach appeals to model theoretic / forcing theoretic notions, rather than pure combinatorics. The main goal of the paper is to exhibit a surprising, close connection between seemingly very distinct principles. As an application, we show that forcing with a measure algebra preserves (a variant of) , improving an old result of M. Hru\v{s}\'ak.
Cite
@article{arxiv.2303.07694,
title = {Guessing genericity -- looking at parametrized diamonds from a different perspective},
author = {Ziemowit Kostana},
journal= {arXiv preprint arXiv:2303.07694},
year = {2025}
}