Switch to: References

Add citations

You must login to add citations.
  1. Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation