Eventually different functions and inaccessible cardinals
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we are considering the Baire property of the eventually different topology as a regularity property for sets of reals and investigate the logical strength of the statements “Every Δ12 set has the Baire property in the eventually different topology” and “Every Σ12 set has the Baire property in the eventually different topology”. The latter statement turns out to be equivalent to “ω1 is inaccessible by reals”.
著者
-
Brendle Jörg
Graduate School of System Informatics, Kobe University
-
Löwe Benedikt
Institute for Logic, Language and Computation, Universiteit van Amsterdam
関連論文
- Eventually different functions and inaccessible cardinals
- Eventually different functions and inaccessible cardinals