On Borel equivalence relations in generalized Baire space

"Vegeu el resum a l'inici del document del fitxer adjunt."

Resurgence of inner solutions for perturbations of the McMillan map

A sequence of “inner equations” attached to certain perturbations of the McMillan map was considered in [MSS09], their solutions were used in that article to measure an exponentially small separatrix splitting. We prove here all the results relative to these equations which are necessary to complete the proof of the main result of [MSS09]. The present work relies on ideas from resurgence theory: we describe the formal solutions, study the analyticity of their Borel transforms and use ´Ecalle’s alien derivations to measure the discrepancy between different Borel-Laplace sums.

Generalized descriptive set theory and classification theory

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.