Miguel Moreno

Publications and Projects

Articles submitted to peer review journals

1. Miguel Moreno, The isomorphism relation of theories with S-DOP in generalized Baire spaces. Submitted August 2020.: Abstract: We study the Borel-reducibility of isomorphism relations in the generalized Baire space K^K. In the main result we show for inaccessible K, that if T is a classifiable theory and T'is superstable with the strong dimensional order property (S-DOP), then the isomorphism of models of T is Borel reducible to the isomorphism of models of T'. In fact we show the consistency of the following: If K is inaccessible and T is a superstable theory with S-DOP, then the isomorphism of models of T is Σ^1_1-complete.; PDF - arXiv

Articles accepted for publication in peer review journals

6. Gabriel Fernandes, Miguel Moreno, Assaf Rinot, Fake reflection. Israel Journal of Mathematics. To appear. Accepted September 2020.: Abstract: 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 forcing axioms. We prove the independence of filter reflection from ZFC, and present applications of filter reflection to the study of canonical equivalence relations over the higher Cantor and Baire spaces.; PDF - arXiv

Published articles in peer review journals

5. Gabriel Fernandes, Miguel Moreno, Assaf Rinot, Inclusion modulo nonstationary. Monatshefte für Mathematik (2020) 192: 827 -- 851.: Abstract: 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 ccc forcing extension in which (ω^ω,≤^*) contains a cofinal order-isomorphic copy of P. In this paper, we prove a consistency result concerning the universality of the higher analogue (︀K^K,≤^𝑆)︀.; Theorem. Assume GCH. For every regular uncountable cardinal K, there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order Q over K^K and every stationary subset 𝑆 of K, there is a Lipschitz map reducing Q to (K^K,≤^𝑆).; PDF - arXiv - Journal
4. Tapani Hyttinen, Vadim Kulikov, Miguel Moreno, On Σ_1^1-completeness of Quasi-orders on K^K. Fundamenta Mathematicae (2020) 251: 245 -- 268.: Abstract: We prove under V=L that the inclusion modulo the non-stationary ideal is a Σ^1_1-complete quasi-order in the generalized Borel-reducibility hierarchy (K > ω). This improvement to known results in L has many new consequences concerning the Σ^1_1-completeness of quasi-orders and equivalence relations such as the embeddability of dense linear orders as well as the equivalence modulo various versions of the non-stationary ideal. This serves as a partial or complete answer to several open problems stated in literature. Additionally the theorem is applied to prove a dichotomy in L: If the isomorphism of a countable first-order theory (not necessarily complete) is not Δ^1_1, then it is Σ^1_1-complete. We also study the case V is different from L and prove Σ^1_1-completeness results for weakly ineffable and weakly compact K.; PDF - arXiv - Journal
3. David Asperó, Tapani Hyttinen,Vadim Kulikov, Miguel Moreno, Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions. Notre Dame Journal of Formal Logic (2019) 60: 665 -- 682.: Abstract: Working under large cardinal assumptions such as supercompactness, westudy the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal K. We show the consis-tency of E^(λ++,λ++)_(λ-club), the relation of equivalence modulo the non-stationary ideal restricted to S^(λ++)_λ in the space (λ++)^(λ++), being continuously reducible to E^(2,λ;++)_(λ+-club), the relation of equivalence modulo the non-stationary ideal restricted to S^(λ++)_(λ+) in the space 2^(λ++). Then we show that for K ineffable E^(2,K)_(reg), the relation of equivalence modulo the non-stationary ideal restricted to regular cardinals in the space 2^K, is Σ^1_1-complete. We finish by showing, for Π^1_2-indescribable K, that the isomorphism relation between dense linear orders of cardinality K is Σ^1_1-complete.; PDF - arXiv - Journal
2. Tapani Hyttinen, Vadim Kulikov, Miguel Moreno, A generalized Borel-reducibility counterpart of Shelah's main gap theorem. Archive for Mathematical Logic (2017) 56: 175 -- 185.: Abstract: 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 classifiable and T' is not, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations areconsidered on models of some fixed uncountable cardinality obeying certain restrictions.; PDF - arXiv - Journal
1. Tapani Hyttinen, Miguel Moreno, On the Reducibility of Isomorphism Relations. Mathematical Logic Quarterly (2017) 63: 175 -- 192.: Abstract: We study the Borel reducibility of isomorphism relations in the generalized Baire space K^K. In the main result we show for inaccessible K, that if T is a classifiable theory and T' is stable with OCP, then the isomorphism of models of T is Borel reducible to the isomorphism of models of T'.; PDF - arXiv - Journal

Theses

Ph.D.: Miguel Moreno, FINDING THE MAIN GAP IN THE BOREL-REDUCIBILITY HIERARCHY, University of Helsinki, Faculty of Science, Department of Mathematics and Statistics; Doctoral dissertation (article-based), advisor Tapani Hyttinen. Unigrafia, Helsinki (2017).; PDF - Slides public examination - Opponent's lecture - Picture
M.Sc.: Miguel Moreno, The stationary tower forcing, University of Bonn; Master thesis, advisor Peter Koepke (co-advise by Philipp Schlicht). Bonn (2013).
BSc.: Miguel Moreno, Matroides Representables, National University of Colombia, Bogotá; Bachelor thesis, advisor Humberto Sarria. Bogotá (2010).