Year:

  1.  16
    Recursive Models for Constructive Set Theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  20
    Recursive Models for Constructive Set Theories.N. Beeson - 1982 - Annals of Mathematical Logic 23 (2/3):127.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  8
    Δ31 Reals.René David - 1982 - Annals of Mathematical Logic 23 (2-3):121-125.
  4.  15
    A Very Absolute Pi-1-2 Real Singleton.René David - 1982 - Annals of Mathematical Logic 23 (2-3):101-120.
    I give a class forcing that adds a real which is Pi-1-2 and for which no forcing extension (by a set of conditions) can destroy this definability.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  7
    A Very Absolute [Product]¹2real Singleton.René David - 1982 - Annals of Mathematical Logic 23 (2/3):101.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  3
    A Very Absolute Π21 Real Singleton.René David - 1982 - Annals of Mathematical Logic 23 (2-3):101-120.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  11
    Monadic Theory of Order and Topology in ZFC.Yuri Gurevich & Saharon Shelah - 1982 - Annals of Mathematical Logic 23 (2-3):179-198.
  8.  2
    Monadic Theory of Order and Topology in ZFC. Y. Gurevich - 1982 - Annals of Mathematical Logic 23 (2/3):179.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  11
    Decidability and Stability of Free Nilpotent Lie Algebras and Free Nilpotent P-Groups of Finite Exponent.Andreas Baudisch - 1982 - Annals of Mathematical Logic 23 (1):1-25.
  10.  6
    A Correction to “Concepts of General Topology in Constructive Mathematics and in Sheaves”.R. J. Grayson - 1982 - Annals of Mathematical Logic 23 (1):99.
  11.  3
    Reflection and Partition Properties of Admissible Ordinals. E. Kranakis - 1982 - Annals of Mathematical Logic 22 (3):213.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  17
    Reflection and Partition Properties of Admissible Ordinals.Evangelos Kranakis - 1982 - Annals of Mathematical Logic 22 (3):213-242.
  13.  16
    On the Completenes Principle: A Study of Provability in Heyting's Arithmetic and Extensions.Albert Visser - 1982 - Annals of Mathematical Logic 22 (3):263-295.
  14.  17
    Some Applications of Jensen's Coding Theorem.R. David - 1982 - Annals of Mathematical Logic 22 (2):177-196.
  15.  18
    The Covering Lemma for L[U].A. J. Dodd & R. B. Jensen - 1982 - Annals of Mathematical Logic 22 (2):127-135.
  16.  10
    The Covering Lemma for K.Tony Dodd & Ronald Jensen - 1982 - Annals of Mathematical Logic 22 (1):1-30.
  17.  12
    Steel Forcing and Barwise Compactness.Sy D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31-46.
 Previous issues
  
Next issues