Ideal topologies in higher descriptive set theory

DOI10.1016/J.APAL.2021.103061MaRDI QIDQ2667997zbMATH OpenOpenAlexWikidataFDO

Authors Peter Holy, Marlene Koelbing, Philipp Schlicht, Wolfgang Wohofsky

Publication date 3 March 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

higher Cantor spaceideal topologiesnonstationary topology

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Cardinal characteristics of the continuum (03E17) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: We investigate generalizations of the topology of the higher Cantor space on $2^{k}appa$, based on arbitrary ideals rather than the bounded ideal on $kappa$. Our main focus is on the topology induced by the nonstationary ideal, and we call this topology the nonstationary topology, or also the Edinburgh topology on $2^{k}appa$. It may be of independent interest that as a side result, we show $kappa$-Silver forcing to satisfy a strong form of Axiom $A$ not only if $kappa$ is inaccessible (which is well-known), but also under the assumption $diamondsui{t}_{k}appa$.

Review text

The article presents investigations of the topology of the higher Cantor space on \(2^\kappa\). Different topologies on \(2^\kappa\) are considered, induced by ideals other than the bounded ideals on \(\kappa\). The main focus is on the topology (called the nonstationary topology or the Edinburgh topology) induced by the nonstationary ideal on \(2^\kappa\). For a \(<\!\!\kappa \)-complete proper ideal \(\mathcal{I}\) on \(\kappa\) the \(\mathcal{I}\)-topology is defined. The class of Borel sets of ideal topologies is also studied. One of the main questions left open is whether there is an \(\mathcal{I}\)-Borel hierarchy which resembles the usual Borel hierarchy on the Cantor space. Possible notions of convergence, accumulation points, subsequences in ideal topologies, the connection between ideal topologies and forcing topologies are investigated. In the last sections of the article the authors investigate the connections between meager and \(\mathcal{I}\)-meager sets, and between the Baire property in the bounded and in the nonstationary topology.

Recommendations

• New Topologies from Old via Ideals
• On some ideal defined by density topology in the Cantor set
• Derived topologies on ordinals and stationary reflection
• scientific article; zbMATH DE number 4144906
• Topologies making a given ideal nowhere dense or meager

Cites work

• I-convergence
• Almost-disjoint sets the dense set problem and the partition calculus
• Cichoń's diagram for uncountable cardinals
• Cofinalities of Marczewski-like ideals
• Diamonds
• Forcing absoluteness and regularity properties
• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• On strong measure zero subsets of \({}^\kappa 2\)
• Regularity properties on the generalized reals
• Souslin quasi-orders and bi-embeddability of uncountable structures
• Sur la convergence statistique

Cited in

(5)

• The \({\mathcal J}\)-topology on \(^*X\) induced by the family of ideals on set \(X\)
• Derived topologies on ordinals and stationary reflection
• scientific article; zbMATH DE number 4118357 (Why is no real title available?)
• Analytic topologies over countable sets
• Higher indescribability and derived topologies

This page was built for publication: Ideal topologies in higher descriptive set theory

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