Abstract

Moore introduced the Mapping Reflection Principle and proved that the Bounded Proper Forcing Axiom implies that the size of the continuum is ℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph _2$$\end{document}. The Mapping Reflection Principle follows from the Proper Forcing Axiom. To show this, Moore utilized forcing notions whose conditions are countable objects. Chodounský–Zapletal introduced the Y-Proper Forcing Axiom that is a weak fragments of the Proper Forcing Axiom but implies some important conclusions from the Proper Forcing Axiom, for example, the P-ideal Dichotomy. In this article, it is proved that the Y-Proper Forcing Axiom implies the Mapping Reflection Principle by introducing forcing notions whose conditions are finite objects.