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