13 found
Order:
  1. Paul E. Howard (1990). Definitions of Compact. Journal of Symbolic Logic 55 (2):645-655.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard (1975). The Fraenkel-Mostowski Method for Independence Proofs in Set Theory. Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  7
    Paul E. Howard (1973). Limitations on the Fraenkel-Mostowski Method of Independence Proofs. Journal of Symbolic Logic 38 (3):416-422.
    The Fraenkel-Mostowski method has been widely used to prove independence results among weak versions of the axiom of choice. In this paper it is shown that certain statements cannot be proved by this method. More specifically it is shown that in all Fraenkel-Mostowski models the following hold: 1. The axiom of choice for sets of finite sets implies the axiom of choice for sets of well-orderable sets. 2. The Boolean prime ideal theorem implies a weakened form of Sikorski's theorem.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  2
    Paul E. Howard (1992). The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem. Notre Dame Journal of Formal Logic 33 (2):236-243.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  1
    Paul E. Howard (1984). Rado's Selection Lemma Does Not Imply the Boolean Prime Ideal Theorem. Mathematical Logic Quarterly 30 (9‐11):129-132.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  12
    Paul E. Howard (1985). Subgroups of a Free Group and the Axiom of Choice. Journal of Symbolic Logic 50 (2):458-467.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  16
    Paul E. Howard, Arthur L. Rubin & Jean E. Rubin (1978). Independence Results for Class Forms of the Axiom of Choice. Journal of Symbolic Logic 43 (4):673-684.
    Let NBG be von Neumann-Bernays-Gödel set theory without the axiom of choice and let NBGA be the modification which allows atoms. In this paper we consider some of the well-known class or global forms of the wellordering theorem, the axiom of choice, and maximal principles which are known to be equivalent in NBG and show they are not equivalent in NBGA.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8.  3
    Paul E. Howard & Mary Yorke (1987). Maximal $P$-Subgroups and the Axiom of Choice. Notre Dame Journal of Formal Logic 28 (2):276-283.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    Paul E. Howard (1972). A Proof of a Theorem of Tennenbaum. Mathematical Logic Quarterly 18 (7):111-112.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Paul E. Howard (1987). The Existence of Level Sets in a Free Group Implies the Axiom of Choice. Mathematical Logic Quarterly 33 (4):315-316.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. Paul E. Howard (1972). A Proof of a Theorem of Tennenbaum. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):111-112.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Paul E. Howard (1984). Rado's Selection Lemma Does Not Imply the Boolean Prime Ideal Theorem. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):129-132.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Paul E. Howard (1987). The Existence of Level Sets in a Free Group Implies the Axiom of Choice. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):315-316.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography