A Boolean view of sequential compactness
A category analogue of the density topology
A characterization of the meager ideal
We give a classical proof of the theorem stating that the -ideal of meager sets is the unique -ideal on a Polish group, generated by closed sets which is invariant under translations and ergodic.
A classification of ordinals up to Borel isomorphism
We consider the Borel structures on ordinals generated by their order topologies and provide a complete classification of all ordinals up to Borel isomorphism in ZFC. We also consider the same classification problem in the context of AD and give a partial answer for ordinals ≤ω₂.
A coding of separable Banach spaces. Analytic and coanalytic families of Banach spaces
When the set of closed subspaces of C(Δ), where Δ is the Cantor set, is equipped with the standard Effros-Borel structure, the graph of the basic relations between Banach spaces (isomorphism, being isomorphic to a subspace, quotient, direct sum,...) is analytic non-Borel. Many natural families of Banach spaces (such as reflexive spaces, spaces not containing ℓ₁(ω),...) are coanalytic non-Borel. Some natural ranks (rank of embedding, Szlenk indices) are shown to be coanalytic ranks. Applications...
A converse of the Arsenin–Kunugui theorem on Borel sets with σ-compact sections
Let f be a Borel measurable mapping of a Luzin (i.e. absolute Borel metric) space L onto a metric space M such that f(F) is a Borel subset of M if F is closed in L. We show that then is a set for all except countably many y ∈ M, that M is also Luzin, and that the Borel classes of the sets f(F), F closed in L, are bounded by a fixed countable ordinal. This gives a converse of the classical theorem of Arsenin and Kunugui. As a particular case we get Taĭmanov’s theorem saying that the image of...
A countable dense homogeneous set of reals of size ℵ₁
We prove there is a countable dense homogeneous subspace of ℝ of size ℵ₁. The proof involves an absoluteness argument using an extension of the logic obtained by adding predicates for Borel sets.
A function space C(X) which is weakly Lindelöf but not weakly compactly generated
A generalised Mazurkiewicz-Sierpiński theorem with an application to analytic sets
A generalization of Baire category in a continuous set.
A generalization of Shoenfield theorem on sets
A generalization of Steinhaus' theorem to coordinatewise measure preserving binary transformations
A new class of weakly countably determined Banach spaces
A class of Banach spaces, countably determined in their weak topology (hence, WCD spaces) is defined and studied; we call them strongly weakly countably determined (SWCD) Banach spaces. The main results are the following: (i) A separable Banach space not containing ℓ¹(ℕ) is SWCD if and only if it has separable dual; thus in particular, not every separable Banach space is SWCD. (ii) If K is a compact space, then the space C(K) is SWCD if and only if K is countable.
A new class of weakly -analytic Banach spaces
In this paper we define and investigate a new subclass of those Banach spaces which are -analytic in their weak topology; we call them strongly weakly -analytic (SWKA) Banach spaces. The class of SWKA Banach spaces extends the known class of strongly weakly compactly generated (SWCG) Banach spaces (and their subspaces) and it is related to that in the same way as the familiar classes of weakly -analytic (WKA) and weakly compactly generated (WCG) Banach spaces are related. We show that: (i) not...
A note on countably determined and distinguishable sets
A note on ideals of compact sets
Solecki has shown that a broad natural class of ideals of compact sets can be represented through the ideal of nowhere dense subsets of a closed subset of the hyperspace of compact sets. In this note we show that the closed subset in this representation can be taken to be closed upwards.
A note on Rudin's example of Dowker space
A note on strong measure zero sets
A note on Tsirelson type ideals
Using Tsirelson’s well-known example of a Banach space which does not contain a copy of or , for p ≥ 1, we construct a simple Borel ideal such that the Borel cardinalities of the quotient spaces and are incomparable, where is the summable ideal of all sets A ⊆ ℕ such that . This disproves a “trichotomy” conjecture for Borel ideals proposed by Kechris and Mazur.
A note on -ultrafilters and -points