SU\G(𝔸)/K·U

Hartley Rogers

Follow

Generating author description...

All published works
Action Title Year Authors
+ Descriptive Set Theory in L ω 1 ω 1982 Robert L. Vaught
A. R. D. Mathias
Hartley Rogers
+ Cambridge Summer School in Mathematical Logic Held in Cambridge/England, August 1-21, 1971 1973 A. R. D. Mathias
Hartley Rogers
+ The Euclidean algorithm as a means of simplifying fractions 1970 Hartley Rogers
+ Review: Martin Davis, Hilary Putnam, Julia Robinson, The Decision Problem for Exponential Diophantine Equations 1970 Hartley Rogers
+ Martin Davis, Hilary Putnam, and Julia Robinson. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 (1961), pp. 425–436. 1970 Hartley Rogers
+ C. E. M. Yates. Three theorems on the degrees of recursively enumerable sets. Duke mathematical journal, vol. 32 (1965), pp. 461–468. 1967 Hartley Rogers
+ Review: C. E. M. Yates, Three Theorems on the Degrees of Recursively Enumerable Sets 1967 Hartley Rogers
+ PDF Chat On universal functions 1965 Hartley Rogers
+ Review: Clifford Spector, Measure-Theoretic Construction of Incomparable Hyperdegrees 1962 Hartley Rogers
+ PDF Chat Constructive Versions of Ordinal Number Classes 1961 Donald L. Kreider
Hartley Rogers
+ Gödel numberings of partial recursive functions 1958 Hartley Rogers
+ Review: R. M. Friedberg, Two Recursively Enumerable Sets of Incomparable Degrees of Unsolvability (Solution of Post's Problem, 1944) 1958 Hartley Rogers
+ R. M. Friedberg. Two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post's problem, 1944). Proceedings of the National Academy of Sciences of the United States of America, vol. 43 (1957), pp. 236–238. 1958 Hartley Rogers
+ PDF Chat A Note on the Law of Large Numbers 1957 Hartley Rogers
+ A General Education Course In Pure Mathematics 1956 Hartley Rogers
+ H. Hermes and H. Scholz. Mathematische Logik. Enzyklopädie der mathematischen Wissenschaften, Band I, Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil I, B.G. Teubner, Leipzig1952, 82 pp. 1954 Hartley Rogers
+ Heinrich Scholz. Vorlesungen über Grundzüge der mathematischen Logik. Second, revised edition, vol. 1. Rotaprint. Ausarbeitungen mathematischer und physikalischer Vorlesungen, vol. VI. Aschendorffsche Verlagsbuchhandlung, Münster (Westf.)1950, XIV + 276 pp. - Heinrich Scholz. Vorlesungen über Grundzüge der mathematischen Logik. Second, revised edition, vol. 2. Rotaprint. Ausarbeitungen mathematischer und physikalischer Vorlesungen, vol. VII. Aschendorffsche Verlagsbuchhandlung, Münster (Westf.)… 1954 Hartley Rogers
+ Andrzej Grzegorczyk. Undecidability of some topological theories. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 137–152. 1953 Hartley Rogers
+ Numbering College Courses 1935 Hartley Rogers
Onetta Williams
Common Coauthors
Coauthor Papers Together
A. R. D. Mathias 2
Robert L. Vaught 1
Donald L. Kreider 1
Onetta Williams 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Gödel numberings of partial recursive functions 1958 Hartley Rogers
 1
+ PDF Chat Recursively enumerable sets of positive integers and their decision problems 1944 Emil L. Post
 1
+ PDF Chat Axiom schemata of strong infinity in axiomatic set theory 1960 Azriel LĂ©vy
 1
+ Creative sets 1955 John Myhill
 1
+ PDF Chat Formal definitions in the theory of ordinal numbers 1937 Alonzo Church
S. C. Kleene
 1