
arXiv: 1207.4311
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We 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. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations. Acknowledgement : The authors wish to thank the John Templeton Foundation for its generous support through its project Myriad Aspects of Infinity (ID #13152). The authors wish to thank also Mittag-Leffler Institute (the Royal Swedish Academy of Sciences). The second and the third authors wish to thank the Academy of Finland for its support through its grant number 1123110. The third author wants to express his gratitude to the Research Foundation of the University of Helsinki and the Finnish National Graduate School in Mathematics and its Applications for the financial support during the work. We are grateful to Jouko Väänänen for the useful discussions and comments he provided on a draft of this paper.
101013 Mathematical logic, Lògica matemàtica, Logic, Models, Teoria dels, 03E15, 03E35, 03E47, 54H05, 101013 Mathematische Logik, FOS: Mathematics, Conjunts, Teoria de, Logic (math.LO), 510 - Consideracions fonamentals i generals de les matemàtiques
101013 Mathematical logic, Lògica matemàtica, Logic, Models, Teoria dels, 03E15, 03E35, 03E47, 54H05, 101013 Mathematische Logik, FOS: Mathematics, Conjunts, Teoria de, Logic (math.LO), 510 - Consideracions fonamentals i generals de les matemàtiques
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
