review-by-wayne-richter documents

Proof of Mostowski's Conjectureby R. O. Gandy
Documents Proof of Mostowski's Conjectureby R. O. Gandy
Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphsby T. G. McLaughlin
Documents Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphsby T. G. McLaughlin
On a Problem of Kleene'sby R. O. Gandy
Documents On a Problem of Kleene'sby R. O. Gandy
Constructive Versions of Ordinal Number Classesby D. L. Kreider; Hartley Rogers,
Documents Constructive Versions of Ordinal Number Classesby D. L. Kreider; Hartley Rogers,
Uniqueness Ordinals in Higher Constructive Number Classesby Hilary Putnam
Documents Uniqueness Ordinals in Higher Constructive Number Classesby Hilary Putnam
On Hierarchies and Systems of Notationsby Hilary Putnam
Documents On Hierarchies and Systems of Notationsby Hilary Putnam
Elementary Induction on Abstract Structuresby Yiannis N. Moschovakis
Documents Elementary Induction on Abstract Structuresby Yiannis N. Moschovakis
On Analytic Well-orderings.by Hisao Tanaka
Documents On Analytic Well-orderings.by Hisao Tanaka
Omitting Types: Application to Recursion Theory.by Thomas J. Grilliot
Documents Omitting Types: Application to Recursion Theory.by Thomas J. Grilliot
A Hierarchy Based on a Type Two Objectby J. R. Shoenfield
Documents A Hierarchy Based on a Type Two Objectby J. R. Shoenfield
A Variation of Richter's Construction of Ordinals.by N. V. Belyakin
Documents A Variation of Richter's Construction of Ordinals.by N. V. Belyakin