17 found
Order:
  1. Anil Nerode & Alfred B. Manaster (1970). A Universal Embedding Property of the RETs. Journal of Symbolic Logic 35 (1):51-59.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  4
    John N. Crossley, Alfred B. Manaster & Michael F. Moses (1986). Recursive Categoricity and Recursive Stability. Annals of Pure and Applied Logic 31 (2):191-204.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  27
    Alfred B. Manaster & Joseph G. Rosenstein (1980). Two-Dimensional Partial Orderings: Recursive Model Theory. Journal of Symbolic Logic 45 (1):121-132.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  5
    Jeffery B. Remmel & Alfred B. Manaster (1980). CO-Simple Higher-Order Indecomposable Isols. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (14-18):279-288.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Louise Hay, Alfred B. Manaster & Joseph G. Rosenstein (1975). Small Recursive Ordinals, Many-One Degrees, and the Arithmetical Difference Hierarchy. Annals of Mathematical Logic 8 (3):297-343.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  3
    Alfred B. Manaster (1975). Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic. Prentice-Hall.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  10
    Alfred B. Manaster, Thomas H. Payne & David Harrah (1981). Meeting of the Association for Symbolic Logic: San Diego, 1979. Journal of Symbolic Logic 46 (1):199-203.
  8.  2
    Alfred B. Manaster (1969). Rich Co-Ordinals, Addition Isomorphisms, and Rets. Journal of Symbolic Logic 34 (1):45-52.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  9.  3
    Alfred B. Manaster & Jeffrey B. Remmel (1981). Partial Orderings of Fixed Finite Dimension: Model Companions and Density. Journal of Symbolic Logic 46 (4):789-802.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  10.  6
    Alfred B. Manaster & Joseph G. Rosenstein (1980). Two-Dimensional Partial Orderings: Undecidability. Journal of Symbolic Logic 45 (1):133-143.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  11.  5
    Alfred B. Manaster (1971). Some Contrasts Between Degrees and the Arithmetical Hierarchy. Journal of Symbolic Logic 36 (2):301-304.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    Alfred B. Manaster (1972). Review: John N. Crossley, Recursive Equivalence: A Survey; John N. Crossley, Recursive Equivalence. [REVIEW] Journal of Symbolic Logic 37 (2):406-407.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. Alfred B. Manaster (1972). Crossley John N.. Recursive Equivalence: A Survey. Proceedings of the Summer School in Logic, Leeds, 1967, Edited by Löb M. H., Lecture Notes in Mathematics, No. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, Pp. 241–251.Crossley John N.. Recursive Equivalence. The Bulletin of the London Mathematical Society, Vol. 2 , Pp. 129–151. [REVIEW] Journal of Symbolic Logic 37 (2):406-407.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Alfred B. Manaster (1972). Dekker J. C. E.. Les Fonctions Combinatoires Et les Isols. Collection de Logique Mathématique, Série A, No. 22, Gauthiers-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, 79 Pp. [REVIEW] Journal of Symbolic Logic 37 (2):406.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Alfred B. Manaster (1970). Ferguson Don C.. Infinite Products of Recursive Equivalence Types. Journal of Symbolic Logic 35 (4):590.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Alfred B. Manaster (1970). Review: Don C. Ferguson, Infinite Products of Recursive Equivalence Types. [REVIEW] Journal of Symbolic Logic 35 (4):590-590.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Alfred B. Manaster (1972). Review: J. C. E. Dekker, Les Fonctions combinatoires et les Isols. [REVIEW] Journal of Symbolic Logic 37 (2):406-406.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography