Eventually different functions and inaccessible cardinals
| Authors |
|
| Publication date |
2011
|
| Journal |
Journal of the Mathematical Society of Japan
|
| Volume | Issue number |
63 | 1
|
| Pages (from-to) |
137-151
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
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 Δ21 set has the Baire property in the eventually different topology" and "Every Σ21 set has the Baire property in the eventually different topology". The latter statement turns out to be equivalent to "ω1 is inaccessible by reals".
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.2969/jmsj/06310137
|
|
Permalink to this page
|
Back