Switch to: References

Add citations

You must login to add citations.
  1. Forcing the Mapping Reflection Principle by finite approximations.Tadatoshi Miyamoto & Teruyuki Yorioka - 2021 - Archive for Mathematical Logic 60 (6):737-748.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Two chain conditions and their Todorčević's fragments of Martin's Axiom.Teruyuki Yorioka - 2024 - Annals of Pure and Applied Logic 175 (1):103320.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The relative strengths of fragments of Martin's axiom.Joan Bagaria - 2024 - Annals of Pure and Applied Logic 175 (1):103330.
    Download  
     
    Export citation  
     
    Bookmark  
  • A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees.Teruyuki Yorioka - 2010 - Annals of Pure and Applied Logic 161 (4):469-487.
    We introduce a property of forcing notions, called the anti-, which comes from Aronszajn trees. This property canonically defines a new chain condition stronger than the countable chain condition, which is called the property . In this paper, we investigate the property . For example, we show that a forcing notion with the property does not add random reals. We prove that it is consistent that every forcing notion with the property has precaliber 1 and for forcing notions with the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations