Displaying similar documents to “A Borel topos”

Recent developments in the theory of Borel reducibility

Greg Hjorth, Alexander S. Kechris (2001)

Fundamenta Mathematicae

Similarity:

Let E₀ be the Vitali equivalence relation and E₃ the product of countably many copies of E₀. Two new dichotomy theorems for Borel equivalence relations are proved. First, for any Borel equivalence relation E that is (Borel) reducible to E₃, either E is reducible to E₀ or else E₃ is reducible to E. Second, if E is a Borel equivalence relation induced by a Borel action of a closed subgroup of the infinite symmetric group that admits an invariant metric, then either E is reducible...

Borel-Wadge degrees

Alessandro Andretta, Donald A. Martin (2003)

Fundamenta Mathematicae

Similarity:

Two sets of reals are Borel equivalent if one is the Borel pre-image of the other, and a Borel-Wadge degree is a collection of pairwise Borel equivalent subsets of ℝ. In this note we investigate the structure of Borel-Wadge degrees under the assumption of the Axiom of Determinacy.

Turning Borel sets into clopen sets effectively

Vassilios Gregoriades (2012)

Fundamenta Mathematicae

Similarity:

We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be chosen in a hyperarithmetical way and using this we obtain some uniformity results.

Preservation of the Borel class under open-LC functions

Alexey Ostrovsky (2011)

Fundamenta Mathematicae

Similarity:

Let X be a Borel subset of the Cantor set C of additive or multiplicative class α, and f: X → Y be a continuous function onto Y ⊂ C with compact preimages of points. If the image f(U) of every clopen set U is the intersection of an open and a closed set, then Y is a Borel set of the same class α. This result generalizes similar results for open and closed functions.

Questions

Alexey Ostrovsky (2005)

Acta Universitatis Carolinae. Mathematica et Physica

Similarity:

Normal numbers and the Borel hierarchy

Verónica Becher, Pablo Ariel Heiber, Theodore A. Slaman (2014)

Fundamenta Mathematicae

Similarity:

We show that the set of absolutely normal numbers is Π⁰₃-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is Π⁰₃-complete in the effective Borel hierarchy.

Coordinatewise decomposition of group-valued Borel functions

Benjamin D. Miller (2007)

Fundamenta Mathematicae

Similarity:

Answering a question of Kłopotowski, Nadkarni, Sarbadhikari, and Srivastava, we characterize the Borel sets S ⊆ X × Y with the property that every Borel function f: S → ℂ is of the form f(x,y) = u(x) + v(y), where u: X → ℂ and v: Y → ℂ are Borel.