14 found
Sort by:
  1. John N. Crossley, Alfred B. Manaster & Michael F. Moses (1986). Recursive Categoricity and Recursive Stability. Annals of Pure and Applied Logic 31:191-204.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  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 (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Alfred B. Manaster & Joseph G. Rosenstein (1980). Two-Dimensional Partial Orderings: Recursive Model Theory. Journal of Symbolic Logic 45 (1):121-132.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Alfred B. Manaster & Joseph G. Rosenstein (1980). Two-Dimensional Partial Orderings: Undecidability. Journal of Symbolic Logic 45 (1):133-143.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Jeffery B. Remmel & Alfred B. Manaster (1980). CO-Simple Higher-Order Indecomposable Isols. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 26 (14-18):279-288.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. 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.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Alfred B. Manaster (1975). Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic. Prentice-Hall.
     
    My bibliography  
     
    Export citation  
  9. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. 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  
     
    My bibliography  
     
    Export citation  
  11. Alfred B. Manaster (1971). Some Contrasts Between Degrees and the Arithmetical Hierarchy. Journal of Symbolic Logic 36 (2):301-304.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. 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)  
     
    My bibliography  
     
    Export citation  
  13. Anil Nerode & Alfred B. Manaster (1970). A Universal Embedding Property of the RETs. Journal of Symbolic Logic 35 (1):51-59.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Alfred B. Manaster (1969). Rich Co-Ordinals, Addition Isomorphisms, and Rets. Journal of Symbolic Logic 34 (1):45-52.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation