eBook ISBN: | 978-1-4704-1671-3 |
Product Code: | MEMO/230/1081.E |
List Price: | $65.00 |
MAA Member Price: | $58.50 |
AMS Member Price: | $39.00 |
eBook ISBN: | 978-1-4704-1671-3 |
Product Code: | MEMO/230/1081.E |
List Price: | $65.00 |
MAA Member Price: | $58.50 |
AMS Member Price: | $39.00 |
-
Book DetailsMemoirs of the American Mathematical SocietyVolume: 230; 2014; 80 ppMSC: Primary 03
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. The authors' results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.
-
Table of Contents
-
Chapters
-
1. History and Motivation
-
2. Introduction
-
3. Borel Sets, ${\Delta _1^1}$ Sets and Infinitary Logic
-
4. Generalizations From Classical Descriptive Set Theory
-
5. Complexity of Isomorphism Relations
-
6. Reductions
-
7. Open Questions
-
-
RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
- Book Details
- Table of Contents
- Requests
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. The authors' results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.
-
Chapters
-
1. History and Motivation
-
2. Introduction
-
3. Borel Sets, ${\Delta _1^1}$ Sets and Infinitary Logic
-
4. Generalizations From Classical Descriptive Set Theory
-
5. Complexity of Isomorphism Relations
-
6. Reductions
-
7. Open Questions