Die Cantorsche Abbildung ist ein Borel-Isomorphismus.
Difference functions of periodic measurable functions
We investigate some problems of the following type: For which sets H is it true that if f is in a given class ℱ of periodic functions and the difference functions are in a given smaller class G for every h ∈ H then f itself must be in G? Denoting the class of counter-example sets by ℌ(ℱ,G), that is, , we try to characterize ℌ(ℱ,G) for some interesting classes of functions ℱ ⊃ G. We study classes of measurable functions on the circle group that are invariant for changes on null-sets (e.g. measurable...
Dominating analytic families
Let A be an analytic family of sequences of sets of integers. We show that either A is dominated or it contains a continuum of almost disjoint sequences. From this we obtain a theorem by Shelah that a Suslin c.c.c. forcing adds a Cohen real if it adds an unbounded real.
Domination by Borel stopping times and some separation properties
Effective decomposition of σ-continuous Borel functions
We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering of X such that is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.
Emploi des filtres sur N dans l'étude descriptive des fonctions
Ensembles analytiques, théorèmes de séparation et applications
Equivalence relations induced by some locally compact groups of homeomorphisms of
Let T be a locally finite rooted tree and B(T) be the boundary space of T. We study locally compact subgroups of the group TH(B(T)) = ⟨Iso(T),V⟩ generated by the group Iso(T) of all isometries of B(T) and the group V of Richard Thompson. We describe orbit equivalence relations arising from actions of these groups on B(T).
Erratum to the paper "The Axion of Choice, the Löwenheim–Skolem Theorem and Borel models" (Fund. Math. 137 (1991), 53-58)
Every Lusin set is undetermined in the point-open game
We show that some classes of small sets are topological versions of some combinatorial properties. We also give a characterization of spaces for which White has a winning strategy in the point-open game. We show that every Lusin set is undetermined, which solves a problem of Galvin.
Examples for Souslin forcing
We give several examples of Souslin forcing notions. For instance, we show that there exists a proper analytical forcing notion without ccc and with no perfect set of incompatible elements, we give an example of a Souslin ccc partial order without the Knaster property, and an example of a totally nonhomogeneous Souslin forcing notion.
Examples of non-shy sets
Christensen has defined a generalization of the property of being of Haar measure zero to subsets of (abelian) Polish groups which need not be locally compact; a recent paper of Hunt, Sauer, and Yorke defines the same property for Borel subsets of linear spaces, and gives a number of examples and applications. The latter authors use the term “shyness” for this property, and “prevalence” for the complementary property. In the present paper, we construct a number of examples of non-shy Borel sets...
Exemples de normes en théorie descriptive des ensembles
Existence of non measurable sets
Extension of functions with small oscillation
A classical theorem of Kuratowski says that every Baire one function on a subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer gradation of Baire one functions into small Baire classes. A Baire one function f is assigned into a class in this hierarchy depending on its oscillation index β(f). We prove a refinement of Kuratowski’s theorem: if Y is a subspace of a metric space X and f is a real-valued...
Extensions of the Graham-Leeb-Rothschild theorem.
-section of Borel sets
Filter descriptive classes of Borel functions
We first prove that given any analytic filter ℱ on ω the set of all functions f on which can be represented as the pointwise limit relative to ℱ of some sequence of continuous functions (), 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.
Filter games on ω and the dual ideal
We continue the efforts to characterize winning strategies in various infinite games involving filters on the natural numbers in terms of combinatorial or structural properties of the given filter. Previous results in the literature included those games where player II responded with natural numbers, or finite subsets of natural numbers. In this paper we concentrate on games where player II responds with members of the dual ideal. We also give a summary of known results on filter games.
Filters and sequences
We consider two situations which relate properties of filters with properties of the limit operators with respect to these filters. In the first one, we show that the space of sequences having limits with respect to a filter is itself and therefore, by a result of Dobrowolski and Marciszewski, such spaces are topologically indistinguishable. This answers a question of Dobrowolski and Marciszewski. In the second one, we characterize universally measurable filters which fulfill Fatou’s lemma.