English

Inclusion modulo nonstationary

Logic 2020-04-21 v2

Abstract

A classical theorem of Hechler asserts that the structure (ωω,)\left(\omega^\omega,\le^*\right) is universal in the sense that for any σ\sigma-directed poset P with no maximal element, there is a ccc forcing extension in which (ωω,)\left(\omega^\omega,\le^*\right) contains a cofinal order-isomorphic copy of P. In this paper, we prove a consistency result concerning the universality of the higher analogue (κκ,S)\left(\kappa^\kappa,\le^S\right): Theorem. Assume GCH. For every regular uncountable cardinal κ\kappa, there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order Q over κκ\kappa^\kappa and every stationary subset S of κ\kappa, there is a Lipschitz map reducing Q to (κκ,S)(\kappa^\kappa,\le^S).

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

R2 v1 2026-06-23T10:02:09.407Z