Nous donnons, pour une certaine catégorie de boréliens d'un produit de deux espaces polonais, comprenant les boréliens à coupes dénombrables, une caractérisation du type "test d'Hurewicz" de ceux ne pouvant pas être rendus différence transfinie d'ouverts par changement des deux topologies polonaises.
The set of squares in the group of autohomeomorphisms of the circle is complete analytic, and hence analytic but not Borel.
The covering property for σ-ideals of compact sets is an abstract version of the classical perfect set theorem for analytic sets. We will study its consequences using as a paradigm the σ-ideal of countable closed subsets of .
Let K be a subclass of Mod() which is closed under isomorphism. Vaught showed that K is (respectively, ) in the Borel hierarchy iff K is axiomatized by an infinitary (respectively, ) sentence. We prove a generalization of Vaught’s theorem for the effective Borel hierarchy, i.e. the Borel sets formed by union and complementation over c.e. sets. This result says that we can axiomatize an effective or effective Borel set with a computable infinitary sentence of the same complexity. This result...
It is known that there is a comeagre set of mutually conjugate measure preserving homeomorphisms of Cantor space equipped with the coinflipping probability measure, i.e., Haar measure. We show that the generic measure preserving homeomorphism is moreover conjugate to all of its powers. It follows that the generic measure preserving homeomorphism extends to an action of (ℚ, +) by measure preserving homeomorphisms, and, in fact, to an action of the locally compact ring 𝔄 of finite adèles. ...
We prove that the ideal (a) defined by the density topology is not generated. This answers a question of Z. Grande and E. Strońska.
An ω-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for ω-tree-automatic structures. We prove first that the isomorphism relation for ω-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n ≥ 2) is not determined by the axiomatic system ZFC. Then we prove that...
The isomorphism relation on countable torsion free abelian groups is non-Borel.
∗ Supported by D.G.I.C.Y.T. Project No. PB93-1142Let X be a separable Banach space without the Point of Continuity Property. When the set of closed subsets of its closed unit ball is equipped with the standard Effros-Borel structure, the set of those which have the Point of Continuity Property is non-Borel. We also prove that, for any separable Banach space X, the oscillation rank of the identity on X (an ordinal index which quantifies the Point of Continuity Property) is determined by the subspaces...
We show that for some large classes of topological spaces X and any metric space (Z,d), the point of continuity property of any function f: X → (Z,d) is equivalent to the following condition: (*) For every ε > 0, there is a neighbourhood assignment of X such that d(f(x),f(y)) < ε whenever . We also give various descriptions of the filters ℱ on the integers ℕ for which (*) is satisfied by the ℱ-limit of any sequence of continuous functions from a topological space into a metric space.