Eventually Different Functions and Inaccessible Cardinals
Jörg Brendle, Benedikt Löwe
Abstract:
We prove that the statement "All Sigma-1-2 sets of reals have the
Baire property in the eventually different topology" is equivalent to
"omega-1 is inaccessible by reals". We determine the strength of the
statement "All Delta-1-2 sets of reals have the Baire property in the
eventually different topology" in terms of implications and
non-implications from typical regularity property statements.