Switch to: References

Add citations

You must login to add citations.
  1. The Nonstationary Ideal in the Pmax Extension.Paul B. Larson - 2007 - Journal of Symbolic Logic 72 (1):138 - 158.
    The forcing construction Pmax, invented by W. Hugh Woodin, produces a model whose collection of subsets of ω₁ is in some sense maximal. In this paper we study the Boolean algebra induced by the nonstationary ideal on ω₁ in this model. Among other things we show that the induced quotient does not have a simply definable form. We also prove several results about saturation properties of the ideal in this extension.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Questions on generalised Baire spaces.Yurii Khomskii, Giorgio Laguzzi, Benedikt Löwe & Ilya Sharankou - 2016 - Mathematical Logic Quarterly 62 (4-5):439-456.
    We provide a list of open problems in the research area of generalised Baire spaces, compiled with the help of the participants of two workshops held in Amsterdam (2014) and Hamburg (2015).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • On effective σ‐boundedness and σ‐compactness.Vladimir Kanovei & Vassily Lyubetsky - 2013 - Mathematical Logic Quarterly 59 (3):147-166.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Basis theorems for -sets.Chi Tat Chong, Liuzhen Wu & Liang Yu - 2019 - Journal of Symbolic Logic 84 (1):376-387.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
    The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   10 citations