Results 1  10
of
56
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 49 (8 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
Turbulence, amalgamation, and generic automorphisms of homogeneous structures
, 2004
"... ..."
(Show Context)
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 28 (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 14 (2 self)
 Add to MetaCart
(Show Context)
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 12 (2 self)
 Add to MetaCart
(Show Context)
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.
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 11 (6 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.
Polish Metric Spaces: Their Classification and Isometry Groups
 Bull. Symbolic Logic
"... 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 ..."
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 10 (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 ...
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
(Show Context)
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.
involutions, and reversibility for real homeomorphisms
 Irish Math. Soc. Bulletin
"... Abstract. The classification up to conjugacy of the homeomorphisms of the real line onto itself is wellunderstood by the experts, but there does not appear to be an exposition in print. In other words, it is mathematical folklore. In this expository paper, we give a complete but concise account o ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
Abstract. The classification up to conjugacy of the homeomorphisms of the real line onto itself is wellunderstood by the experts, but there does not appear to be an exposition in print. In other words, it is mathematical folklore. In this expository paper, we give a complete but concise account of the classification, in terms of a suitable topological signature concept. A topological signature is a kind of pattern of signs. We provide similar classifications for homeomorphisms that fix a given subset, and for germs of homeomorphisms at a point. For directionreversing homeomorphisms, we show that the signature of the compositional square is antisymmetric. We go on to apply the conjugacy classification and signatures to reprove recent results of Jarczyk on the composition of involutions. His results classify the reversible homeomorphisms (the composition of two involutions), and show that each homeomorphism is the composition of at most four involutions. The reversible directionpreserving homeomorphisms have symmetric signatures. 1.