-model and distributivity in Boolean algebras
A Banach space dichotomy theorem for quotients of subspaces
A Banach space X with a Schauder basis is defined to have the restricted quotient hereditarily indecomposable property if X/Y is hereditarily indecomposable for any infinite-codimensional subspace Y with a successive finite-dimensional decomposition on the basis of X. The following dichotomy theorem is proved: any infinite-dimensional Banach space contains a quotient of a subspace which either has an unconditional basis, or has the restricted quotient hereditarily indecomposable property.
A Cantor-Bendixson theorem for the space
A characterization of determinacy for Turing degree games
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 separable Rosenthal compacta and its applications [Book]
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 descriptive view of unitary group representations
In this paper, we will study the relative complexity of the unitary duals of countable groups. In particular, we will explain that if and are countable amenable non-type I groups, then the unitary duals of and are Borel isomorphic.
A dichotomy theorem for mono-unary algebras
We study the isomorphism relation of invariant Borel classes of countable mono-unary algebras and prove a strong dichotomy theorem.
A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II
The algebraic counterpart of the Wagner hierarchy consists of a well-founded and decidable classification of finite pointed ω-semigroups of width 2 and height ωω. This paper completes the description of this algebraic hierarchy. We first give a purely algebraic decidability procedure of this partial ordering by introducing a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of any ω-rational language can therefore be computed...
A game theoretical approach to the algebraic counterpart of the Wagner hierarchy : Part I
The algebraic study of formal languages shows that ω-rational sets correspond precisely to the ω-languages recognizable by finite ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on...
A gauge approach to an ordinal index of Baire one functions
We develop a calculus for the oscillation index of Baire one functions using gauges analogous to the modulus of continuity.
A generalised Mazurkiewicz-Sierpiński theorem with an application to analytic sets
A generalization of Shoenfield theorem on sets
A López-Escobar theorem for metric structures, and the topological Vaught conjecture
We show that a version of López-Escobar’s theorem holds in the setting of model theory for metric structures. More precisely, let denote the Urysohn sphere and let Mod(,) be the space of metric -structures supported on . Then for any Iso()-invariant Borel function f: Mod(,) → [0,1], there exists a sentence ϕ of such that for all M ∈ Mod(,) we have . This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group...
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 construction of non-constructible subset of ω
A new type of affine Borel function.
A note on almost disjoint refinement
A note on countably determined and distinguishable sets