dc.contributor.author |
Friedman, Sy D. |
dc.contributor.author |
Hyttinen, Tapani |
dc.contributor.author |
Kulikov, Vadim |
dc.contributor.author |
Universitat Autònoma de Barcelona. Centre de Recerca Matemàtica |
dc.date |
2010 |
dc.identifier |
https://ddd.uab.cat/record/76270 |
dc.identifier |
urn:oai:ddd.uab.cat:76270 |
dc.format |
application/pdf |
dc.language |
eng |
dc.publisher |
Centre de Recerca Matemàtica |
dc.relation |
Centre de Recerca Matemàtica. Prepublicacions ; |
dc.rights |
open access |
dc.rights |
Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i el centre i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús |
dc.rights |
https://creativecommons.org/licenses/by-nc-nd/2.5/ |
dc.subject |
Lògica matemàtica |
dc.subject |
Conjunts, Teoria de |
dc.subject |
Models, Teoria dels |
dc.title |
Generalized descriptive set theory and classification theory |
dc.type |
Article |
dc.type |
Prepublicació |
dc.description.abstract |
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. |