Advanced Search

Let X be a compact Hausdorff space and M a metric space. $E_0(X,M)$ is the set of f ∈ C(X,M) such that there is a dense set of points x ∈ X with f constant on some neighborhood of x. We describe some general classes of X for which $E_0(X,M)$ is all of C(X,M). These include βℕ, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case where M is a Banach space, we discuss the properties of $E_0(X,M)$ as a normed linear space. We also build three first countable Eberlein...

We prove the following theorem: Given a⊆ω and $1\le \alpha <{\omega }_1^{CK}$, if for some $\eta <{\aleph }_1$ and all u ∈ WO of length η, a is ${\Sigma }_{\alpha }^0\left(u\right)$, then a is ${\Sigma }_{\alpha }^0$.We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: ${\Sigma }_1^1$-Turing-determinacy implies the existence of $0^{}$.