A new topological generalization of descriptive set theory

arXiv2210.05849MaRDI QIDQ6413632FDOQ6413632

Authors: Iván Ongay-Valverde, Franklin D. Tall 

Publication date: 11 October 2022

Abstract: We introduce a new topological generalization of the $sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced ${}^{omega}omega$ by ${}^{kappa}kappa$, for $kappa$ regular uncountable, or replaced countable by $sigma$-discrete. Instead we close the usual $sigma$-projective sets under continuous images and perfect preimages together with countable unions. The natural set-theoretic axiom to apply is $sigma$-projective determinacy, which follows from large cardinals. Our goal is to generalize the known results for $K$-analytic spaces (continuous images of perfect preimages of ${}^{omega}omega$) to these more general settings. We have achieved some successes in the area of Selection Principles--the general theme is that nicely defined Menger spaces are Hurewicz or even $sigma$-compact. The $K$-analytic results are true in ZFC; the more general results have consistency strength of only an inaccessible.

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Set-valued maps in general topology (54C60) Descriptive set theory (03E15) Consistency and independence results in general topology (54A35) Remainders in general topology (54D40) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Large cardinals (03E55) Determinacy principles (03E60)

This page was built for publication: A new topological generalization of descriptive set theory

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