Order:
  1.  23
    Continuum-Many Boolean Algebras of the Form [Image] Borel.Michael Ray Oliver - 2004 - Journal of Symbolic Logic 69 (3):799 - 816.
    We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could be fewer in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  38
    Borel Complexity of Isomorphism Between Quotient Boolean Algebras.Su Gao & Michael Ray Oliver - 2008 - Journal of Symbolic Logic 73 (4):1328-1340.
  3.  25
    Continuum-Many Boolean Algebras of the Form $\mathcal{P}(\omega)/\mathcal{I}, \mathcal{I}$ Borel.Michael Ray Oliver - 2004 - Journal of Symbolic Logic 69 (3):799 - 816.
    We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could be fewer in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark