Results 1  10
of
37
Countable Borel Equivalence Relations
 J. MATH. LOGIC
"... This paper is a contribution to a new direction in descriptive set theory that is being extensively pursued over the last decade or so. It deals with the development of the theory of definable actions of Polish groups, the structure and classification of their orbit spaces, and the closely related s ..."
Abstract

Cited by 45 (7 self)
 Add to MetaCart
This paper is a contribution to a new direction in descriptive set theory that is being extensively pursued over the last decade or so. It deals with the development of the theory of definable actions of Polish groups, the structure and classification of their orbit spaces, and the closely related study of definable equivalence relations. This study is motivated by basic foundational questions, like understanding the nature of complete classification of mathematical objects, up to some notion of equivalence, by invariants, and creating a mathematical framework for measuring the complexity of such classification problems. (For an extensive discussion of these matters, see, e.g., Hjorth [00], Kechris [99, 00a].) This theory is developed within the context of descriptive set theory, which provides the basic underlying concepts and methods. On the other hand, in view of its broad scope, there are natural interactions of it with other areas of mathematics, such as model theory, recursion theory, the theory of topological groups and their representations, topological dynamics, ergodic theory, and operator algebras
Rigidity Theorems for Actions of Product Groups and Countable Borel Equivalence Relations
"... This paper is a contribution to the theory of countable Borel equivalence relations on standard Borel spaces. As usual, by a standard Borel space we mean a Polish (complete separable metric) space equipped with its #algebra of Borel sets. An equivalence relation E on a standard Borel space X is Bor ..."
Abstract

Cited by 26 (6 self)
 Add to MetaCart
This paper is a contribution to the theory of countable Borel equivalence relations on standard Borel spaces. As usual, by a standard Borel space we mean a Polish (complete separable metric) space equipped with its #algebra of Borel sets. An equivalence relation E on a standard Borel space X is Borel if it is a Borel subset of X². Given two
Complete analytic equivalence relations
 Trans. Amer. Math. Soc
"... Abstract. We prove that various concrete analytic equivalence relations arising in model theory or analysis are complete, i.e. maximum in the Borel reducibility ordering. The proofs use some general results concerning the wider class of analytic quasiorders. ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
Abstract. We prove that various concrete analytic equivalence relations arising in model theory or analysis are complete, i.e. maximum in the Borel reducibility ordering. The proofs use some general results concerning the wider class of analytic quasiorders.
The completeness of the isomorphism relation for countable Boolean algebras
 Trans. Amer. Math. Soc
"... Abstract. We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen’s classification of countable Boolean algebras is o ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
Abstract. We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras. This implies that Ketonen’s classification of countable Boolean algebras is optimal in the sense that the kind of objects used for the complete invariants cannot be improved in an essential way. We also give a stronger form of the Vaught conjecture for Boolean algebras which states that, for any complete firstorder theory of Boolean algebras that has more than one countable model up to isomorphism, the class of countable models for the theory is Borel complete. The results are applied to settle many other classification problems related to countable Boolean algebras and separable Boolean spaces. In particular, we will show that the following equivalence relations are Borel complete: the translation equivalence between closed subsets of the Cantor space, the isomorphism relation between ideals of the countable atomless Boolean algebra, the conjugacy equivalence of the autohomeomorphisms of the Cantor space, etc. Another corollary of our results is the Borel completeness of the commutative AF C ∗algebras, which in turn gives rise to similar results for Bratteli diagrams and dimension groups. 1.
Polish Metric Spaces: Their Classification and Isometry Groups
 Bull. Symbolic Logic
"... this paper. For example, it is well known that E#
Abstract

Cited by 10 (2 self)
 Add to MetaCart
this paper. For example, it is well known that E# <B F 2 . From the realization of E# as the isomorphism relation among locally finite trees, it is not hard to see that E# is Borel reducible to the isometry of connected locally compact Polish metric spaces. Again results on their isometry groups motivated our conjecture that the isometry of connected locally compact Polish metric spaces is Borel bireducible with E# . This has been confirmed by Hjorth
Actions of Polish Groups and Classification Problems
 London Math. Soc. Lecture Note Series
"... Analysis, (1969), SpringerVerlag, New York. Hjorth, G. [97]. On the isomorphism problem for measure preserving transformations, (April 1997), preprint. 67 68 References ... ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
Analysis, (1969), SpringerVerlag, New York. Hjorth, G. [97]. On the isomorphism problem for measure preserving transformations, (April 1997), preprint. 67 68 References ...
Topologies on the group of Borel automorphisms of a standard Borel space, preprint
, 2003
"... The paper is devoted to the study of topologies on the group Aut(X, B) of all Borel automorphisms of a standard Borel space (X, B). Several topologies are introduced and all possible relations between them are found. One of these topologies, τ, is a direct analogue of the uniform topology widely use ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
The paper is devoted to the study of topologies on the group Aut(X, B) of all Borel automorphisms of a standard Borel space (X, B). Several topologies are introduced and all possible relations between them are found. One of these topologies, τ, is a direct analogue of the uniform topology widely used in ergodic theory. We consider the most natural subsets of Aut(X, B) and find their closures. In particular, we describe closures of subsets formed by odometers, periodic, aperiodic, incompressible, and smooth automorphisms with respect to the defined topologies. It is proved that the set of periodic Borel automorphisms is dense in Aut(X, B) (Rokhlin lemma) with respect to τ. It is shown that the τclosure of odometers (and of rank 1 Borel automorphisms) coincides with the set of all aperiodic automorphisms. For every aperiodic automorphism T ∈ Aut(X, B), the concept of a BorelBratteli diagram is defined and studied. It is proved that every aperiodic Borel automorphism T is isomorphic to the Vershik transformation acting on the space of infinite paths of an ordered BorelBratteli diagram. Several applications of this result are given.
Prospects for mathematical logic in the twentyfirst century
 BULLETIN OF SYMBOLIC LOGIC
, 2002
"... The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently. ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
Turbulence, representations, and tracepreserving actions
 Proc. Lond. Math. Soc
, 2010
"... Abstract. We establish criteria for turbulence in certain spaces of C ∗algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard atomless probability space (X, µ) and on the hyperfinite II1 factor R. We also prove that the co ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
Abstract. We establish criteria for turbulence in certain spaces of C ∗algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard atomless probability space (X, µ) and on the hyperfinite II1 factor R. We also prove that the conjugacy action on the space of free actions of a countably infinite amenable group on R is turbulent, and that the conjugacy action on the space of ergodic measurepreserving flows on (X, µ) is generically turbulent. 1.