Miguel Moreno

University Researcher, Department of Mathematics and Statistics, University of Helsinki .

Miguel Moreno

University Researcher, Department of Mathematics and Statistics, University of Helsinki .

Picture of Colombia

Publications with Assaf Rinot



2. Gabriel Fernandes , Miguel Moreno , Assaf Rinot , Fake reflection . Israel Journal of Mathematics. To appear.
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

1. 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 (︀K^K,≤^𝑆)︀.
Theorem. Assume GCH. For every regular uncountable cardinal K, there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order Q over K^K and every stationary subset 𝑆 of K, there is a Lipschitz map reducing Q to (K^K,≤^𝑆).
PDF - arXiv - Journal