2 citations · 4 across the 11 of their papers we have counts for
13 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é gam…
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 les…
On Borel sets in ideal topologies
Miguel Moreno, Beatrice Pitton
We study the Borel and analytic subsets of the spaces and endowed with ideal topologies, where is a regular uncountable cardinal, thereby addressing some open p…
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 spaces…
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…
On unsuperstable theories in GDST
Miguel Moreno
We study the -Borel-reducibility of isomorphism relations of complete first order theories by using coloured trees. Under some cardinality assumptions, we show the following: Fo…
Fake reflection
Gabriel Fernandes, Miguel Moreno, Assaf Rinot
We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong fo…
Inclusion modulo nonstationary
Gabriel Fernandes, Miguel Moreno, Assaf Rinot
A classical theorem of Hechler asserts that the structure is universal in the sense that for any -directed poset P with no maximal element, there is a c…
On -completeness of quasi-orders on
Tapani Hyttinen, Vadim Kulikov, Miguel Moreno
We prove under that the inclusion modulo the non-stationary ideal is a -complete quasi-order in the generalized Borel-reducibility hierarchy (). This improvement…
The isomorphism relation of theories with S-DOP in generalized Baire spaces
Miguel Moreno
We study the Borel-reducibility of isomorphism relations in the generalized Baire space . In the main result we show for inaccessible , that if is a classifiable theory…
On large cardinals and generalized Baire spaces
David Asperó, Tapani Hyttinen, Vadim Kulikov +1
Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal .…
A Borel-reducibility Counterpart of Shelah's Main Gap Theorem
Tapani Hyttinen, Vadim Kulikov, Miguel Moreno
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classif…
On the reducibility of isomorphism relations
Tapani Hyttinen, Miguel Moreno
We study the Borel reducibility of isomorphism relations in the generalized Baire space . In the main result we show for inaccessible , that if is a classifiable theory…