13 found
  1.  6
    The Slow-Growing and the Grzecorczyk Hierarchies.E. A. Cichon & S. S. Wainer - 1983 - Journal of Symbolic Logic 48 (2):399-408.
  2.  15
    Slow Growing Versus Fast Growing.S. S. Wainer - 1989 - Journal of Symbolic Logic 54 (2):608-614.
  3.  9
    Equational Derivation Vs. Computation.W. G. Handley & S. S. Wainer - 1994 - Annals of Pure and Applied Logic 70 (1):17-49.
    Subrecursive hierarchy classifications are used to compare the complexities of recursive functions according to their derivations in a version of Kleene's equation calculus, and their computations by term-rewriting. In each case ordinal bounds are assigned, and it turns out that the respective complexity measures are given by a version of the Fast Growing Hierarchy, and the Slow Growing Hierarchy. Known comparisons between the two hierarchies then provide ordinal trade-offs between derivation and computation. Characteristics of some well-known subrecursive classes are also (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation  
  4.  10
    Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
  5.  9
    A Plus-1 Theorem for Sub-Sections.S. S. Wainer - 1988 - Archive for Mathematical Logic 27 (2):101-105.
  6.  9
    European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979.F. R. Drake & S. S. Wainer - 1981 - Journal of Symbolic Logic 46 (2):435-446.
  7.  3
    The" Slow-Growing" U\ Approach to Hierarchies.S. S. Wainer - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--487.
    No categories
    Direct download  
    Export citation  
  8.  1
    A Hierarchy for the 1-Section of Any Type Two Object.S. S. Wainer - 1974 - Journal of Symbolic Logic 39 (1):88-94.
  9.  20
    Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & S. S. Wainer (eds.) - 1992 - Cambridge University Press.
    This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
    Direct download  
    Export citation  
  10. Ash, CJ, Stability of Recursive Structures in Arithmetical Degrees Ash, CJ, Categoric@ in Hyperarithmetical Degrees.D. Cenzer, P. Clote, R. L. Smith, S. S. Wainer, K. J. Compton, C. W. Henson & S. Shelah - 1988 - Annals of Pure and Applied Logic 40:307-310.
  11.  21
    Computability, Enumerability, Unsolvability: Directions in Recursion Theory.S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.) - 1996 - Cambridge University Press.
    The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will (...)
    Direct download  
    Export citation  
  12. Downey, R., Gasarch, W. And Moses, M., The Structure.S. D. Friedman, W. G. Handley, S. S. Wainer, A. Joyal, I. Moerdijk, L. Newelski, F. van Engelen & J. van Oosten - 1994 - Annals of Pure and Applied Logic 70:287.
  13. 1997 European Summer Meeting of the Association for Symbolic Logic.M. Hyland Hodges, A. H. Lachlan, A. Louveau, Y. N. Moschovakis, L. Pacholski, A. B. Slomson, J. K. Truss & S. S. Wainer - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.