A new topological generalization of descriptive set theory

MaRDI QIDQ6413632zbMATH OpenFDO

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

Publication date 11 October 2022

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)

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.

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)