4 found
Sort by:
  1. G. P. Monro (1993). Logic, Sheaves, and Factorization Systems. Journal of Symbolic Logic 58 (3):872-893.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. G. P. Monro (1987). The Concept of Multiset. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 33 (2):171-178.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. G. P. Monro (1983). On Generic Extensions Without the Axiom of Choice. Journal of Symbolic Logic 48 (1):39-52.
    Let ZF denote Zermelo-Fraenkel set theory (without the axiom of choice), and let $M$ be a countable transitive model of ZF. The method of forcing extends $M$ to another model $M\lbrack G\rbrack$ of ZF (a "generic extension"). If the axiom of choice holds in $M$ it also holds in $M\lbrack G\rbrack$, that is, the axiom of choice is preserved by generic extensions. We show that this is not true for many weak forms of the axiom of choice, and we derive (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. G. P. Monro (1974). The Strong Amalgamation Property for Complete Boolean Algebras. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 20 (31-33):499-502.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation