We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering $(Aₙ)_{n∈ω}$ of X such that $f_{|Aₙ}$ is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We study properties of $∑^1_1$ and $π^1_1$ subsets of $ω^ω$ that are cofinal relative to the orders ≤ (≤*) of full (eventual) domination. We apply these results to prove that the topological statement "Any compact covering mapping from a Borel space onto a Polish space is inductively perfect" is equivalent to the statement "$∀α ∈ω^ω, ω^ω ∩ L(α )$ is bounded for ≤*".
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We first prove that given any analytic filter ℱ on ω the set of all functions f on $2^{ω}$ which can be represented as the pointwise limit relative to ℱ of some sequence $(fₙ)_{n∈ω}$ of continuous functions ($f = lim_{ℱ} fₙ$), is exactly the set of all Borel functions of class ξ for some countable ordinal ξ that we call the rank of ℱ. We discuss several structural properties of this rank. For example, we prove that any free Π⁰₄ filter is of rank 1.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW