Determinacy and regularity properties for idealized forcings

研究成果: Article査読

抄録

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
ジャーナルMathematical Logic Quarterly
DOI
出版ステータスAccepted/In press - 2022

ASJC Scopus subject areas

  • 論理

フィンガープリント

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

引用スタイル