TY - JOUR

T1 - Determinacy and regularity properties for idealized forcings

AU - Ikegami, Daisuke

N1 - Funding Information:
The author would like to thank the anonymous referee for careful reading and helpful comments on the paper. He also thanks the Japan Society for the Promotion of Science (JSPS) for its generous support through the grant with JSPS KAKENHI Grant Number 19K03604. He is also grateful to the Sumitomo Foundation for its generous support through Grant for Basic Science Research.
Publisher Copyright:
© 2022 Wiley-VCH GmbH.

PY - 2022/8

Y1 - 2022/8

N2 - We show under (Formula presented.) that every set of reals is I-regular for any σ-ideal I on the Baire space (Formula presented.) such that (Formula presented.) is proper. This answers the question of Khomskii [7, Question 2.6.5]. We also show that the same conclusion holds under (Formula presented.) if we additionally assume that the set of Borel codes for I-positive sets is (Formula presented.). If we do not assume (Formula presented.), the notion of properness becomes obscure as pointed out by Asperó and Karagila [1]. Using the notion of strong properness similar to the one introduced by Bagaria and Bosch [2], we show under (Formula presented.) without using (Formula presented.) that every set of reals is I-regular for any σ-ideal I on the Baire space (Formula presented.) such that (Formula presented.) is strongly proper assuming every set of reals is ∞-Borel and there is no ω1-sequence of distinct reals. In particular, the same conclusion holds in a Solovay model.

AB - We show under (Formula presented.) that every set of reals is I-regular for any σ-ideal I on the Baire space (Formula presented.) such that (Formula presented.) is proper. This answers the question of Khomskii [7, Question 2.6.5]. We also show that the same conclusion holds under (Formula presented.) if we additionally assume that the set of Borel codes for I-positive sets is (Formula presented.). If we do not assume (Formula presented.), the notion of properness becomes obscure as pointed out by Asperó and Karagila [1]. Using the notion of strong properness similar to the one introduced by Bagaria and Bosch [2], we show under (Formula presented.) without using (Formula presented.) that every set of reals is I-regular for any σ-ideal I on the Baire space (Formula presented.) such that (Formula presented.) is strongly proper assuming every set of reals is ∞-Borel and there is no ω1-sequence of distinct reals. In particular, the same conclusion holds in a Solovay model.

UR - http://www.scopus.com/inward/record.url?scp=85128856912&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85128856912&partnerID=8YFLogxK

U2 - 10.1002/malq.202100045

DO - 10.1002/malq.202100045

M3 - Article

AN - SCOPUS:85128856912

SN - 0942-5616

VL - 68

SP - 310

EP - 317

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 3

ER -