Abstract
We extend a classical result in ordinary recursion theory to higher recursion theory, namely that every recursively enumerable set can be represented in any model \(\mathfrak {A}\) by some Horn theory, where \(\mathfrak {A}\) can be any model of a higher recursion theory, like primitive set recursion, \(\alpha \)-recursion, or \(\beta \)-recursion. We also prove that, under suitable conditions, a set defined through a Horn theory in a set \(\mathfrak {A}\) is recursively enumerable in models of the above mentioned recursion theories.
Similar content being viewed by others
References
J. Barwise, Infinitary logic and admissible sets. J. Symb. Logic 34(2), 226–252 (1969)
J. Barwise, Admissible Sets and Structures (Springer, Berlin, 1975)
K. Devlin, Constructibility (Springer, Berlin, 1984)
K. Doets, From Logic to Logic Programming (MIT Press, Cambridge, 1994)
M. Fitting, Fundamentals of Generalized Recursion Theory (North Holland, Amsterdam, 1981)
M. Fitting, Incompletness in the Land of Sets (College Publications, London, 2007)
S. Friedman, \(\beta \)-Recursion theory. Trans. Am. Math. Soc. 255, 173–200 (1979)
J. Hamkins, A. Lewis, Infinite time turing machines. J. Symb. Logic 65(2), 567–604 (2000)
W. Hodges, Logical Features of Horn Clauses, in Handbook of Logic in Artificial Intelligence and Logic Programming, ed. by D. Gabbay, C. Hogger, J. Robinson (Clarendon Press, Oxford, 1993), pp. 449–503
R.B. Jensen, C. Karp, Primitive Recursive Set Functions, in In Axiomatic Set Theory: Proc. Symp. Pure Math, ed. by D. Scott (American Mathematical Society, Providence, 1971), pp. 143–167
R.B. Jensen, The fine structure of the constructible hierarchy. Ann. Math. Logic 4, 229–308 (1972)
Jensen, R. B. Subcomplete Forcing and \(L\) -forcing, Lectures given at the All Summer Scholl in Singapore (2012). Available in http://www.mathematik.hu-berlin.de/~raesch/org/jensen/pdf/Singapore_Lectures_final_version
Koepke, P. \(\alpha \)-Recursion Theory and Ordinal Computability, preprint. Available in http://www.math.uni-bonn.de/people/koepke/preprints.shtml
P. Koepke, B. Seyffert, Ordinal machines and admissible recursion theory. Ann. Pure Appl. Logic 160(3), 310–318 (2009)
K. Kunen, The Fundations of Mathematics (College Publications, London, 2009)
A. Nerode, R. Shore, Logic for Applications, 2nd edn. (Springer, Berlin, 1997)
G. Sacks, Higher Recursion Theory (Springer, Berlin, 1993)
R. Schindler, M. Zeman, Fine Structure, in In Handbook of Set Theory, ed. by M. Foreman, A. Kanamori (Springer, Berlin, 2010)
R. Smullyan, Theory of Formal Systems, Rev. edn. (Princeton University Press, Princeton, 1961)
R.I. Soare, Recursively Enumerable Sets and Degrees (Springer, Berlin, 1987)
Acknowledgments
This research was partially supported by CONACYT grant 400200-5-32267-E. This work started during the third author’s sabbatical leave at Institut für Mathematik, Humboldt Universität, 10099 Berlin, Germany. We would like to thank the Referee for his/her interest in our work and for his/her helpful comments that will greatly improve the manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Nido Valencia, J.A., Solís Daun, J.E. & Villegas Silva, L.M. A representation of recursively enumerable sets through Horn formulas in higher recursion theory. Period Math Hung 73, 1–15 (2016). https://doi.org/10.1007/s10998-016-0148-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10998-016-0148-x
Keywords
- Horn theory
- Primitive recursive set functions
- Recursively enumerable set
- \(\alpha \)-Recursion theory
- Primitive recursively closed ordinals
- Admissible recursion
- \(\beta \)-Recursion