5 papers
Model Comparison Games for Generalized Quantifiers
Antti Kuusisto, Miguel Moreno, Matias Selin
We introduce three new model comparison games that characterize separability by first-order formulas with generalized quantifiers. The first is built on the Ehrenfeucht-Fraïssé g…
Fodor space in generalized descriptive set theory
Ido Feldman, Miguel Moreno
We study the continuous reducibility of isomorphism relations in the space of regresive functions in . We show for inaccessible , that if is a theory with…
On Borel sets in ideal topologies
Miguel Moreno, Beatrice Pitton
We study the Borel and analytic subsets of the spaces \({}^κκ\) and \({}^κ2\) endowed with ideal topologies, where \(κ\) is a regular uncountable cardinal. We establish that th…
On Borel subsets of generalized Baire spaces
Tapani Hyttinen, Miguel Moreno, Jouko Väänänen
We develop Descriptive Set Theory in Generalized Baire Spaces without assuming . We point out that without this assumption the basic topological concepts of these spac…
Shelah's Main Gap and the generalized Borel-reducibility
Miguel Moreno
We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation…