Switch to: References

Add citations

You must login to add citations.
  1. Operations, climbability and the proper forcing axiom.Yasuo Yoshinobu - 2013 - Annals of Pure and Applied Logic 164 (7-8):749-762.
    In this paper we show that the Proper Forcing Axiom is preserved under forcing over any poset PP with the following property: In the generalized Banach–Mazur game over PP of length , Player II has a winning strategy which depends only on the current position and the ordinal indicating the number of moves made so far. By the current position we mean: The move just made by Player I for a successor stage, or the infimum of all the moves made (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Destructibility of stationary subsets of Pκλ.Sakaé Fuchino & Greg Piper - 2005 - Mathematical Logic Quarterly 51 (6):560-569.
    For a regular cardinal κ with κ<κ = κ and κ ≤ λ , we construct generically a subset S of {x ∈ Pκλ : x ∩ κ is a singular ordinal} such that S is stationary in a strong sense but the stationarity of S can be destroyed by a κ+-c. c. forcing ℙ* which does not add any new element of Pκλ . Actually ℙ* can be chosen so that ℙ* is κ-strategically closed. However we show that such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Fragments of Martin's Maximum in generic extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
    We show that large fragments of MM, e. g. the tree property and stationary reflection, are preserved by strongly -game-closed forcings. PFA can be destroyed by a strongly -game-closed forcing but not by an ω2-closed.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
    Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Lévy collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to ‮א‬₁. Later we give applications, among them the consistency of MM with ‮א‬ω not being Jónsson which answers a question raised in the set theory meeting at Oberwolfach in 2005.
    Download  
     
    Export citation  
     
    Bookmark   4 citations