17 found
Order:
  1. A Universal Embedding Property of the RETs.Anil Nerode & Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (1):51-59.
  2.  4
    Recursive Categoricity and Recursive Stability.John N. Crossley, Alfred B. Manaster & Michael F. Moses - 1986 - Annals of Pure and Applied Logic 31 (2):191-204.
  3.  19
    CO-Simple Higher-Order Indecomposable Isols.Jeffery B. Remmel & Alfred B. Manaster - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (14-18):279-288.
  4.  27
    Two-Dimensional Partial Orderings: Recursive Model Theory.Alfred B. Manaster & Joseph G. Rosenstein - 1980 - Journal of Symbolic Logic 45 (1):121-132.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5. Small Recursive Ordinals, Many-One Degrees, and the Arithmetical Difference Hierarchy.Louise Hay, Alfred B. Manaster & Joseph G. Rosenstein - 1975 - Annals of Mathematical Logic 8 (3):297-343.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  3
    Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic.Alfred B. Manaster - 1975 - Prentice-Hall.
  7.  10
    Meeting of the Association for Symbolic Logic: San Diego, 1979.Alfred B. Manaster, Thomas H. Payne & David Harrah - 1981 - Journal of Symbolic Logic 46 (1):199-203.
  8.  3
    Partial Orderings of Fixed Finite Dimension: Model Companions and Density.Alfred B. Manaster & Jeffrey B. Remmel - 1981 - Journal of Symbolic Logic 46 (4):789-802.
  9.  2
    Rich Co-Ordinals, Addition Isomorphisms, and Rets.Alfred B. Manaster - 1969 - Journal of Symbolic Logic 34 (1):45-52.
  10.  6
    Two-Dimensional Partial Orderings: Undecidability.Alfred B. Manaster & Joseph G. Rosenstein - 1980 - Journal of Symbolic Logic 45 (1):133-143.
  11.  5
    Some Contrasts Between Degrees and the Arithmetical Hierarchy.Alfred B. Manaster - 1971 - Journal of Symbolic Logic 36 (2):301-304.
  12.  1
    Review: John N. Crossley, Recursive Equivalence: A Survey; John N. Crossley, Recursive Equivalence. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.
  13. 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]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. 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]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406.
  15. Ferguson Don C.. Infinite Products of Recursive Equivalence Types.Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590.
  16. Review: Don C. Ferguson, Infinite Products of Recursive Equivalence Types. [REVIEW]Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590-590.
  17. Review: J. C. E. Dekker, Les Fonctions combinatoires et les Isols. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-406.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography