Inclusion modulo nonstationary

DOI10.1007/S00605-020-01431-6MaRDI QIDQ779989zbMATH OpenOpenAlexFDO

Authors Gabriel Fernandes, Miguel Moreno, Assaf Rinot

Publication date 14 July 2020

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

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

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)

Abstract: A classical theorem of Hechler asserts that the structure $left(omeg{a}^{o}mega,l{e}^{\ast }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}^{\ast }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)$.

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

Cites work

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

Cited in

(5)

• On strong chains of sets and functions
• A characterization of Martin's axiom in terms of absoluteness
• Hechler's theorem for tall analytic \(P\)-ideals
• Fake reflection
• The isomorphism relation of theories with S-DOP in the generalised Baire spaces

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)