Author:
Durand Bruno,Lafitte Grégory
Publisher
Springer International Publishing
Reference37 articles.
1. Barwise, J.: Admissible Sets and Structures: An Approach to Definability Theory, Perspectives in Mathematical Logic, vol. 7. Springer, Heidelberg (1975)
2. Boolos, G.S.: The hierarchy of constructible sets of integers. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, Mass. (1966)
3. Boolos, G.S., Putnam, H.: Degrees of unsolvability of constructible sets of integers. J. Symb. Log. 33, 497–513 (1968)
4. Boyd, R., Hensel, G., Putnam, H.: A recursion-theoretic characterization of the ramified analytical hierarchy. Trans. Am. Math. Soc. 141, 37–62 (1969)
5. Carl, M.: Ordinal Computability. De Gruyter Series in Logic and Its Applications, vol. 9. De Gruyter, July 2019