On -porous sets in abstract spaces.
One-to one Carathéodory representation theorem for multifunctions with uncountable values
Operator and function spaces which are K-analytic
Parametrized Cichoń's diagram and small sets
We parametrize Cichoń’s diagram and show how cardinals from Cichoń’s diagram yield classes of small sets of reals. For instance, we show that there exist subsets N and M of and continuous functions such that • N is and , the collection of all vertical sections of N, is a basis for the ideal of measure zero subsets of ; • M is and is a basis for the ideal of meager subsets of ; •. From this we derive that for a separable metric space X, •if for all Borel (resp. ) sets with all...
PCA sets and convexity
Three sets occurring in functional analysis are shown to be of class PCA (also called ) and to be exactly of that class. The definition of each set is close to the usual objects of modern analysis, but some subtlety causes the sets to have a greater complexity than expected. Recent work in a similar direction is in [1, 2, 10, 11, 12].
Piece-Wise Closed Functions.
Piece-wise Closed Functions: Corrigendum.
Pointwise convergence and the Wadge hierarchy
We show that if is a separable metrizable space which is not -compact then , the space of bounded real-valued continuous functions on with the topology of pointwise convergence, is Borel--complete. Assuming projective determinacy we show that if is projective not -compact and is least such that is then , the space of real-valued continuous functions on with the topology of pointwise convergence, is Borel--complete. We also prove a simultaneous improvement of theorems of Christensen...
Pointwise limits of subsequences and -sets
Preservation of the Borel class under open-LC functions
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.
Products of ideals of Borel sets
Pseudocompactness - from compactifications to multiplication of borel sets
Quasi-bounded trees and analytic inductions
A tree T on ω is said to be cofinal if for every there is some branch β of T such that α ≤ β, and quasi-bounded otherwise. We prove that the set of quasi-bounded trees is a complete Σ¹₁-inductive set. In particular, it is neither analytic nor co-analytic.
Quelques propriétés measurables de diverses suites d'un espace de Banach séperable E dans E...
Questions
Radon spaces which are not -fragmentable
Ramsey, Lebesgue, and Marczewski sets and the Baire property
We investigate the completely Ramsey, Lebesgue, and Marczewski σ-algebras and their relations to the Baire property in the Ellentuck and density topologies. Two theorems concerning the Marczewski σ-algebra (s) are presented. THEOREM. In the density topology D, (s) coincides with the σ-algebra of Lebesgue measurable sets. THEOREM. In the Ellentuck topology on , is a proper subset of the hereditary ideal associated with (s). We construct an example in the Ellentuck topology of a set which is...
Real-valued functions on Alexandroff (zero-set) spaces
Recent developments in the theory of Borel reducibility
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 to a countable...
Reduction of Baire-measurability to uniform continuity