Analytic sets with countable sections
This note is about functions ƒ : Aω → Bω whose graph is recognized by a Büchi finite automaton on the product alphabet A x B. These functions are Baire class 2 in the Baire hierarchy of Borel functions and it is decidable whether such function are continuous or not. In 1920 W. Sierpinski showed that a function is Baire class 1 if and only if both the overgraph and the undergraph of f are Fσ. We show that such characterization is also true for functions on infinite words if we replace the real...
We investigate Baire classes of strongly affine mappings with values in Fréchet spaces. We show, in particular, that the validity of the vector-valued Mokobodzki result on affine functions of the first Baire class is related to the approximation property of the range space. We further extend several results known for scalar functions on Choquet simplices or on dual balls of L₁-preduals to the vector-valued case. This concerns, in particular, affine classes of strongly affine Baire mappings, the...
For a countable ordinal α we denote by the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by α. We show that each admits a separable, reflexive universal space. We also show that spaces in the class embed into spaces of the same class with a basis. As a consequence we deduce that each is analytic in the Effros-Borel structure of subspaces of C[0,1].
For every α < ω₁ we establish the existence of a separable Banach space whose Szlenk index is and which is universal for all separable Banach spaces whose Szlenk index does not exceed . In order to prove that result we provide an intrinsic characterization of which Banach spaces embed into a space admitting an FDD with Tsirelson type upper estimates.
A topological space is called base-base paracompact (John E. Porter) if it has an open base such that every base has a locally finite subcover . It is not known if every paracompact space is base-base paracompact. We study subspaces of the Sorgenfrey line (e.g. the irrationals, a Bernstein set) as a possible counterexample.
We construct Bernstein sets in ℝ having some additional algebraic properties. In particular, solving a problem of Kraszewski, Rałowski, Szczepaniak and Żeberski, we construct a Bernstein set which is a < c-covering and improve some other results of Rałowski, Szczepaniak and Żeberski on nonmeasurable sets.
In this paper we study simultaneous approximation of real-valued functions in and give a generalization of some related results.
We prove that a Borel equivalence relation is classifiable by countable structures if and only if it is Borel reducible to a countable level of the hereditarily countable sets. We also prove the following result which was originally claimed in [FS89]: the zero density ideal of sets of natural numbers is not classifiable by countable structures.
We construct, for each countable ordinal ξ, a closed graph with Borel chromatic number 2 and Baire class ξ chromatic number ℵ₀.
We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to , α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a uniformization which is the graph of a -measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with sections.
We prove the existence of Carathéodory selections and representations of a closed convex valued, lower Carathéodory multifunction from a set A in into a separable Banach space Y, where ℰ is a sub-σ-field of the Borel σ-field ℬ(E) of a Polish space E, X is a Polish space and A is the Suslin operation. As applications we obtain random versions of results on extensions of continuous functions and fixed points of multifunctions. Such results are useful in the study of random differential equations...