Inclusion modulo nonstationary
Logic
2020-04-21 v2
Abstract
A classical theorem of Hechler asserts that the structure is universal in the sense that for any -directed poset P with no maximal element, there is a ccc forcing extension in which contains a cofinal order-isomorphic copy of P. In this paper, we prove a consistency result concerning the universality of the higher analogue : Theorem. Assume GCH. For every regular uncountable cardinal , there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order Q over and every stationary subset S of , there is a Lipschitz map reducing Q to .
Keywords
Cite
@article{arxiv.1906.10066,
title = {Inclusion modulo nonstationary},
author = {Gabriel Fernandes and Miguel Moreno and Assaf Rinot},
journal= {arXiv preprint arXiv:1906.10066},
year = {2020}
}
Comments
Slow filtrations made explicit in the LCC derivation