18 found
Order:
  1.  21
    Generalized Completeness Theorem and Solvability of Systems of Boolean Polynomial Equations.Alexander Abian - 1970 - Mathematical Logic Quarterly 16 (3):263-264.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Some consequences of the axiom of power-set.Alexander Abian & Samuel Lamacchia - 1965 - Journal of Symbolic Logic 30 (3):293-294.
  3. A fixed point theorem equivalent to the axiom of choice.Alexander Abian - 1985 - Archive for Mathematical Logic 25 (1):173-174.
     
    Export citation  
     
    Bookmark  
  4.  41
    Categoricity of denumerable atomless Boolean rings.Alexander Abian - 1972 - Studia Logica 30 (1):63 - 68.
  5.  50
    Nonstandard models for arithmetic and analysis.Alexander Abian - 1974 - Studia Logica 33 (1):11 - 22.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  40
    On Definitions of Cuts and Completion of Partially Ordered Sets.Alexander Abian - 1968 - Mathematical Logic Quarterly 14 (19):299-302.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  31
    On Definitions of Cuts and Completion of Partially Ordered Sets.Alexander Abian - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (19):299-302.
  8.  25
    On the Minimal Length of Sequences Representing Simply Ordered Sets.Alexander Abian & David Deever - 1967 - Mathematical Logic Quarterly 13 (1‐2):21-23.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  30
    On the Minimal Length of Sequences Representing Simply Ordered Sets.Alexander Abian & David Deever - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):21-23.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  15
    On the standard‐model hypothesis of ZF.Alexander Abian - 1975 - Mathematical Logic Quarterly 21 (1):87-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  29
    The consistency of the continuum hypothesis via synergistic models.Alexander Abian - 1973 - Mathematical Logic Quarterly 19 (13):193-198.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  47
    An equivalent of the axiom of choice in finite models of the powerset axiom.Alexander Abian & Wael A. Amin - 1990 - Notre Dame Journal of Formal Logic 31 (3):371-374.
  13.  90
    Completeness of the generalized propositional calculus.Alexander Abian - 1970 - Notre Dame Journal of Formal Logic 11 (4):449-452.
  14.  29
    On the consistency and independence of some set-theoretical axioms.Alexander Abian & Samuel LaMacchia - 1978 - Notre Dame Journal of Formal Logic 19 (1):155-158.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    On the use of more than two-element Boolean valued models.Alexander Abian - 1975 - Notre Dame Journal of Formal Logic 16 (4):555-564.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  38
    Passages between finite and infinite.Alexander Abian - 1978 - Notre Dame Journal of Formal Logic 19 (3):452-456.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  32
    Rado's theorem and solvability of systems of equations.Alexander Abian - 1973 - Notre Dame Journal of Formal Logic 14 (2):145-150.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  39
    The cardinality of powersets in finite models of the powerset axiom.Alexander Abian & Wael A. Amin - 1991 - Notre Dame Journal of Formal Logic 32 (2):290-293.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark