Inclusion modulo nonstationary

DOI10.1007/S00605-020-01431-6zbMATH Open1484.03108arXiv1906.10066OpenAlexW3031682278MaRDI QIDQ779989FDOQ779989

Miguel Moreno, Assaf Rinot, Gabriel Fernandes

Publication date: 14 July 2020

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

Abstract: A classical theorem of Hechler asserts that the structure $left(omeg{a}^{o}mega,l{e}^{*}ight)$ 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(omeg{a}^{o}mega,l{e}^{*}ight)$ contains a cofinal order-isomorphic copy of P. In this paper, we prove a consistency result concerning the universality of the higher analogue $left(kapp{a}^{k}appa,l{e}^{S}ight)$: 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 $kapp{a}^{k}appa$ and every stationary subset S of $kappa$, there is a Lipschitz map reducing Q to $(kapp{a}^{k}appa,l{e}^S)$.

Full work available at URL: https://arxiv.org/abs/1906.10066

Recommendations

• A proof of Hechler's theorem on embedding \(\aleph_ 1\)-directed sets cofinally into \((\omega^ \omega,<^*)\)
• On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\)
• Hechler's theorem for tall analytic \(P\)-ideals
• Unbounded and dominating reals in Hechler extensions
• Hechler's theorem for the meager ideal

zbMATH Keywords

diamond sharphigher Baire spacelocal club condensationnonstationary idealuniversal order

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Set theory. An introduction to large cardinals
• Partition Problems in Topology
• Combinatorial Cardinal Characteristics of the Continuum
• Fine Structure
• Cardinal invariants above the continuum
• CHARACTERIZATION OF □_κ IN CORE MODELS
• The combinatorial principle ⋄^#
• Cardinal Arithmetic
• Title not available (Why is that?)
• Generalized descriptive set theory and classification theory
• Weak systems of Gandy, Jensen and Devlin
• Condensation and large cardinals
• Trees and Ehrenfeucht-Fraïssé games
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• Trees and -subsets of ^ω1ω₁
• Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages
• Inequalities for cardinal powers
• Square in core models
• Higher Souslin trees and the generalized continuum hypothesis
• Models with second order properties. IV. A general method and eliminating diamonds
• Local club condensation and L-likeness
• REDUCED POWERS OF SOUSLIN TREES
• The Erdős–Rado Arrow for Singular Cardinals
• On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $

Cited In (4)

• A characterization of Martin's axiom in terms of absoluteness
• On strong chains of sets and functions
• The isomorphism relation of theories with S-DOP in the generalised Baire spaces
• Fake reflection

This page was built for publication: Inclusion modulo nonstationary

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q779989)