12 found
Order:
Disambiguations
Alfred B. Manaster [13]Alfred Manaster [1]
  1.  47
    Recursive categoricity and recursive stability.John N. Crossley, Alfred B. Manaster & Michael F. Moses - 1986 - Annals of Pure and Applied Logic 31:191-204.
  2. A universal embedding property of the RETs.Anil Nerode & Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (1):51-59.
  3.  68
    Two-dimensional partial orderings: Recursive model theory.Alfred B. Manaster & Joseph G. Rosenstein - 1980 - Journal of Symbolic Logic 45 (1):121-132.
  4.  33
    Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
  5.  54
    Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 , pp. 221–230.Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (4):590.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  53
    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.
  7.  43
    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.
  8.  30
    Rich co-ordinals, addition isomorphisms, and rets.Alfred B. Manaster - 1969 - Journal of Symbolic Logic 34 (1):45-52.
  9.  52
    Some contrasts between degrees and the arithmetical hierarchy.Alfred B. Manaster - 1971 - Journal of Symbolic Logic 36 (2):301-304.
  10.  44
    Two-dimensional partial orderings: Undecidability.Alfred B. Manaster & Joseph G. Rosenstein - 1980 - Journal of Symbolic Logic 45 (1):133-143.
  11.  44
    CO‐Simple Higher‐Order Indecomposable Isols.Jeffery B. Remmel & Alfred B. Manaster - 1980 - Mathematical Logic Quarterly 26 (14-18):279-288.
  12. 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.