Abstract
I understand C. G. Jung to say that even the most subjective of all notions, psyche, has objective aspects buried in the collective unconscious [0]. If he is correct, then the notion of RE set, which has at least as many meanings as there are areas of logic, also has objective aspects in the ground common to all logicians. The most inspired account of the notion of RE sets was given by Post [1] in 1944. In his paper an RE set is a set that has an effective enumeration. Thus it is not to be thought of as a set defined by a Σ1 formula or as a semi-recursive set dependent on computations. Its most apparent feature is positive change. It increases in an effective manner, and is the limit of finite subsets developed along the way. This dynamic view has many consequences. For example RE sets obey an effective selection principle. An element of a non-empty RE set can be selected by simply enumerating the set until its first member appears. In addition complex RE sets can be constructed by enumerating all RE sets simultaneously and diagonalizing.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
E. Post, ‘Recursively Enumerable Sets of Positive Integers and their Decision Problems’, Bull, Am. Math. Soc. 50 (1944), 284–316.
G. Kreisel, ‘Set Theoretic Problems Suggested by the Notion of Potential Totality’, Infinitistic Methods, Proceedings of the 1959 Warsaw Symposium, Pergamon Press, Oxford, 1961, 103–140.
S. Friedman and G. E. Sacks, ‘Inadmissible Recursion Theory’, Bull. Am. Math. Soc, to appear.
R. Friedberg, ‘Two Recursively Enumerable Sets of Incomparable Degrees of Insolvability’, Proc. Nat. Acad. Sci. 43(1957), 236–238.
A. A. Muchnik, ‘On the Unsolvability of the Problem of Reducibility in the Theory of Algorithms’, Doklady Akad. Nauk SSSR 108 (1956), 194–197.
S. C. Kleene, ‘Recursive Functionals and Quantifiers of Finite Type’, Trans. Am. Math. Soc. 91 (1959), 1–52; and
S. C. Kleene, ‘Recursive Functionals and Quantifiers of Finite Type’, Trans. Am. Math. Soc. 108 (1963), 106–142.
L. Harrington, ‘Reflection Principles Associated with Recursion in Objects of Finite Type’, to appear.
G. E. Sacks and S. G. Simpson, ‘The α-Finite Injury Method’, Ann. Math. Logic, 1972 (4), 343–367.
R. Shore, ‘Σn Sets which are Δn Incomparable (Uniformly)’, J. Symb. Logic 39 (1974), 295–304.
L. Harrington, ‘Contributions to Recursion Theory in Higher Types’, Ph.D. Thesis, M.I.T., 1973.
J. Shoenfield, ‘A Hierarchy Based on a Type 2 Object’, Trans. Am. Math. Soc. 134 (1968), 103–108.
T. Grilliot, ‘Hierarchies Based on Objects of Finite Type’, J. Symb. Logic 34 (1969), 177–182.
G. E. Sacks, Higher Recursion Theory, notes by D. MacQueen of lectures given at M.I.T., 1971-72, to be published in revised form by Springer-Verlag.
L. Harrington and D. MacQueen, Grilliot’s Selection Principle, J. Symb. Logic 41 (1976), 153–158.
R. Gandy, General Recursive Functional of Finite Type and Hierarchies of Functions, University of Clermont-Ferrand (1962).
Y. N. Moschovakis, ‘Hyperanalytic Predicates’, Trans. Am. Math. Soc. 138 (1967), 249–282.
F. Lowenthal, ‘Equivalence of Several Definitions of Recursion in Normal Objects of Finite Type’, to appear.
G. E. Sacks, ‘The k-Section of a Type n Object’, Amer. J. Math., to appear.
T. Grilliot, ‘Selection Functions for Recursive Functionals’, Notre Dame J. Form. Logic 10 (1969), 229–234.
G. Takeuti, ‘On the Recursive Functions of Ordinals’, J. Math. Soc. Japan 12 (1960), 119–128.
G. Kreisel, and G. E. Sacks, ‘Metarecursive Sets I, II’ (abstracts), J. Symb. Logic 28 (1963), 304–305.
G. E. Sacks, ‘Post’s Problem, Admissible Ordinals and Regularity’, Trans. Am. Math. Soc. 124 (1966), 1–23.
S. G. Simpson, ‘Admissible Ordinals and Recursion Theory’, Ph.D. Thesis, M.I.T., 1971.
J. Macintyre, ‘Contributions to Metarecursion Theory’, Ph.D. Thesis, M.I.T., 1968.
M. Lerman and G. E. Sacks, ‘Some Minimal Pairs of α-Recursively Enumerable Degrees’, Ann. Math. Logic 4 (1972), 415–442.
S. Friedman, ‘Inadmissible Recursion Theory’, Ph.D. Thesis, MIT, 1976.
R. Jensen, ‘The Fine Structure of the Constructible Hierarchy’, Ann. Math. Logic 4 (1972), 229–308.
G. E. Sacks, ‘On the Reducibility of Sets’, Advances in Math. 7 (1971), 57–82.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Sacks, G.E. (1977). Re Sets Higher up. In: Butts, R.E., Hintikka, J. (eds) Logic, Foundations of Mathematics, and Computability Theory. The University of Western Ontario Series in Philosophy of Science, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1138-9_10
Download citation
DOI: https://doi.org/10.1007/978-94-010-1138-9_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1140-2
Online ISBN: 978-94-010-1138-9
eBook Packages: Springer Book Archive