I-regularity, determinacy, and \infty-Borel sets of reals

Publication date 14 August 2021

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (03E15) Determinacy principles (03E60)

Abstract: We show under

s f Z F + s f D C + s f {A D}_{m a t h b b R}

that every set of reals is

I

-regular for any

s i g m a

-ideal

I

on the Baire space

o m e g a^{o m e g a}

such that

m a t h b b P_{I}

is proper. This answers the question of Khomskii. We also show that the same conclusion holds under

s f Z F + s f D C + s f {A D}^{+}

if we additionally assume that the set of Borel codes for

I

-positive sets is

m a t h b f {D e l t a}_{1}^{2}

. If we do not assume

s f D C

, the notion of properness becomes obscure as pointed out by Asper'{o} and Karagila. Using the notion of strong properness similar to the one introduced by Bagaria and Bosch, we show under

s f Z F + s f {D C}_{m a t h b b R}

without using

s f D C

that every set of reals is

I

-regular for any

s i g m a

-ideal

I

on the Baire space

o m e g a^{o m e g a}

such that

m a t h b b P_{I}

is strongly proper assuming every set of reals is

i n f t y

-Borel and there is no

o m e g a_{1}

-sequence of distinct reals. In particular, the same conclusion holds in a Solovay model.

This page was built for publication: $I$-regularity, determinacy, and $\infty$-Borel sets of reals

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