29 found
Order:
  1.  17
    R. O. Gandy. On a Problem of Kleene's. Bulletin of the American Mathematical Society, Vol. 66 , Pp. 501–502.Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  17
    Thomas J. Grilliot. Omitting Types: Application to Recursion Theory. The Journal of Symbolic Logic, Vol. 37 , Pp. 81–89.Wayne Richter - 1975 - Journal of Symbolic Logic 40 (1):87-88.
  3.  17
    Peter G. Hinman. Recursion-Theoretic Hierarchies. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1978, XII + 480 Pp. [REVIEW]Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.
  4.  15
    D. L. Kreider and Hartley RogersJr, Constructive Versions of Ordinal Number Classes. Transactions of the American Mathematical Society, Vol. 100 , Pp. 325–369. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):134-135.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    Hisao Tanaka. On Analytic Well-Orderings. The Journal of Symbolic Logic, Vol. 35 , Pp. 198–204.Wayne Richter - 1973 - Journal of Symbolic Logic 38 (1):155.
  6.  13
    Hilary Putnam. Uniqueness Ordinals in Higher Constructive Number Classes. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkel on His Seventieth Anniversary, Edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, Pp. 190–206. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):135-136.
  7.  13
    Yiannis N. Moschovakis. Elementary Induction on Abstract Structures. Studies in Logic and the Foundations of Mathematics, Vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, X + 218 Pp. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    Gaisi Takeuti and Akiko Kino. On Hierarchies of Predicates of Ordinal Numbers. Journal of the Mathematical Society of Japan, Vol. 14 , Pp. 199–232. - Akiko Kino and Gaisi Takeuti. A Note on Predicates of Ordinal Numbers. Journal of the Mathematical Society of Japan, Vol. 14 , Pp. 367–378. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):293-294.
  9.  9
    Hilary Putnam. On Hierarchies and Systems of Notations. Proceedings of the American Mathematical Society, Vol. 15 , Pp. 44–50. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):136-137.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  25
    Belyakin N. V.. A Variation of Richter's Construction of Ordinals. English Translation of X L 517. Algebra and Logic , Vol. 8 , Pp. 86–96. [REVIEW]Wayne Richter - 1975 - Journal of Symbolic Logic 40 (4):626-626.
  11.  19
    Constructively Accessible Ordinal Numbers.Wayne Richter - 1968 - Journal of Symbolic Logic 33 (1):43-55.
  12.  18
    Extensions of the Constructive Ordinals.Wayne Richter - 1965 - Journal of Symbolic Logic 30 (2):193-211.
    Kleene [5] mentions two ways of extending the constructive ordinals. The first is by relativizing the setOof notations for the constructive ordinals, using fundamental sequences which are partial recursive inO. In this way we obtain the setOOwhich provides notations for the ordinals less than ω1O. Continuing the process, the sequenceO,OO,, … and the corresponding ordinalsare obtained. A second possibility is to define higher number classes in which partial recursive functions are used at limit ordinals to provide an “accessibility” mapping from (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Kino Akiko. A Note on Constructive Ordinals. Annals of the Japan Association for Philosophy of Science, Vol. 2 No. 4 , Pp. 189–198. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):294-295.
  14.  14
    Review: Yiannis N. Moschovakis, Elementary Induction on Abstract Structures. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
  15.  7
    R. O. Gandy. Proof of Mostowski's Conjecture. Bulletin de L′Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 8 , Pp. 571–575. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  7
    McLaughlin T. G.. Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphs. Illinois Journal of Mathematics, Vol. 11 , Pp. 257–279. [REVIEW]Wayne Richter - 1969 - Journal of Symbolic Logic 34 (3):518-518.
  17. Review: R. O. Gandy, Proof of Mostowski's Conjecture. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.
  18. Review: D. L. Kreider, Hartley Rogers, Constructive Versions of Ordinal Number Classes. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):134-135.
  19.  7
    Review: Akiko Kino, A Note on Constructive Ordinals. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):294-295.
  20.  5
    Review: Hisao Tanaka, On Analytic Well-Orderings. [REVIEW]Wayne Richter - 1973 - Journal of Symbolic Logic 38 (1):155-155.
  21.  5
    Review: T. G. McLaughlin, Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphs. [REVIEW]Wayne Richter - 1969 - Journal of Symbolic Logic 34 (3):518-518.
  22.  5
    Review: Thomas J. Grilliot, Omitting Types: Application to Recursion Theory. [REVIEW]Wayne Richter - 1975 - Journal of Symbolic Logic 40 (1):87-88.
  23.  2
    Shoenfield J. R.. A Hierarchy Based on a Type Two Object. Transactions of the American Mathematical Society, Vol. 134 , Pp. 103–108. [REVIEW]Wayne Richter - 1971 - Journal of Symbolic Logic 36 (2):340-341.
  24.  2
    Review: J. R. Shoenfield, A Hierarchy Based on a Type Two Object. [REVIEW]Wayne Richter - 1971 - Journal of Symbolic Logic 36 (2):340-341.
  25. Review: Hilary Putnam, Uniqueness Ordinals in Higher Constructive Number Classes. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):135-136.
  26. Review: Hilary Putnam, On Hierarchies and Systems of Notations. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):136-137.
  27. Review: Peter G. Hinman, Recursion-Theoretic Hierarchies. [REVIEW]Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.
  28. Review: R. O. Gandy, On a Problem of Kleene's. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):104-104.
     
    Export citation  
     
    Bookmark  
  29.  2
    Recursion-Theoretic Hierarchies.Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations