# Determinacy and regularity properties for idealized forcings

## 抄録

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.

本文言語 English 310-317 8 Mathematical Logic Quarterly 68 3 https://doi.org/10.1002/malq.202100045 Published - 2022 8月

• 論理

## フィンガープリント

「Determinacy and regularity properties for idealized forcings」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。