[1]Ambainis, A., Case, J., Jain, S., and Suraj, M., Parsimony hierarchies for inductive inference, this Journal, vol. 69 (2004), no. 1, pp. 287–327.
[2]Angluin, D., Inductive inference of formal languages from positive data. Information and Control, vol. 45 (1980), pp. 117–135.
[3]Ash, J. and Knight, J. F., Recursive structures and Ershov's hierarchy, Mathematical Logic Quarterly, vol. 42 (1996), pp. 461–468.
[4]Baliga, G., Case, J., Jain, S., and Suraj, M., Machine learning of higher order programs, this Journal, vol. 59 (1994), no. 2, pp. 486–500.
[5]Barzdiņš, J. M., Inductive inference of automata, functions and programs, Proceedings of the 20th International Congress of Mathematicians (James, R. D., editor), 1974, pp. 455–460.
[6]Blum, L. and Blum, M., Toward a mathematical theory of inductive inference. Information and Control, vol. 28 (1975), pp. 125–155.
[7]Blum, M., A machine-independent theory of the complexity of recursive functions, Journal of the ACM, vol. 14 (1967), pp. 322–336.
[8]Buchholz, W., Proof-theoretic analysis of termination proofs, Annals of Pure and Applied Logic, vol. 75 (1995), pp. 57–65.
[9]Burgin, M., Grammars with prohibition and human-computer interaction. Proceedings of the Business and Industry Symposium and the Military, Government, and Aerospace Simulation Symposium (Hill, J., editor), 2005, pp. 143–147.
[10]Carlucci, L., Case, J., and Jain, S., Learning correction grammars, Proceedings of the 20th Annual Conference on Learning Theory (Bshouty, N. and Gentile, C., editors), Lecture Notes in Artificial Intelligence, vol. 4539, Spring Verlag, 2007, pp. 203–217.
[11]Case, J., The power of vacillation in language learning, SIAM Journal on Computing, vol. 28 (1999), no. 6. pp. 1941–1969.
[12]Case, J., Jain, S., and Sharma, A., On learning limiting programs. International Journal of Foundations of Computer Science, vol. 3 (1992), no. 1, pp. 93–115.
[13]Case, J. and Lynes, C., Machine inductive inference and language identification, Proceedings of the 9th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 140, Springer Verlag, 1982, pp. 107–115.
[14]Case, J. and Royer, J., Program size complexity of correction grammars, Working paper, 2008.
[15]Case, J. and Smith, C., Comparison of identification criteria for machine inductive inference. Theoretical Computer Science, vol. 25 (1983), pp. 193–220.
[16]Chen, K., Tradeoffs in inductive inference of nearly minimal sized programs, Information and Control, vol. 52 (1982), pp. 68–86.
[17]Epstein, R. L., Haas, R., and Kramer, R., Hierarchies of sets and degrees below 0′, Logic Year 1979-1980 (Lerman, M., Schmerl, J. H., and Soare, R. I., editors), Lecture Notes in Mathematics, vol. 859, Springer Verlag, 1981, pp. 32–48.
[18]Ershov, Y. L., A hierarchy of sets I, Algebra and Logic, vol. 7 (1968), pp. 23–43.
[19]Ershov, Y. L., A hierarchy of sets II, Algebra and Logic, vol. 7 (1968), pp. 212–232.
[20]Ershov, Y. L., A hierarchy of sets III, Algebra and Logic, vol. 9 (1970), pp. 20–31.
[21]Freivalds, R., Minimal Gödel numbers and their identification in the limit, Proceedings of the 4th Symposium on Mathematical Foundations of Computer Science (Becvar, Jiri, editor), Lecture Notes in Computer Science, vol. 32, 1975, pp. 219–225.
[22]Freivalds, R., Inductive inference of minimal programs, Proceedings of the 3rd Annual Workshop on Computational Learning Theory (Fulk, M. and Case, J., editors), Morgan Kaufmann Publishers, 1990, pp. 3–20.
[23]Freivalds, R. and Smith, C., On the role of procrastination in machine learning, Information and Computation, vol. 107 (1993), no. 2, pp. 237–271.
[24]Gold, E. M., Language identification in the limit. Information and Control, vol. 10 (1967), pp. 447–474.
[25]Hopcroft, J. and Ullman, J., Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
[26]Jain, S., Osherson, D.. Royer, J., and Sharma, A., Systems that Learn: An Introduction to Learning Theory, 2nd ed., MIT Press, 1999.
[27]Jain, S. and Sharma, A.. Program size restrictions in computational learning, Theoretical Computer Science, vol. 127 (1994), pp. 351–386.
[28]Kinber, E. B., On the synthesis in the limit of almost minimal Godel numbers, Theory of Algorithms and Programs (Bārzdiñš, J. M., editor), vol. 1, Latvian State University, 1974, pp. 221–223.
[29]Kleene, S. C., On notation for ordinal numbers, this Journal, vol. 3 (1938), pp. 150–155.
[30]Kleene, S. C.. On the forms of predicates in the theory of constructive ordinals, American Journal of Mathematics, vol. 66 (1944). pp. 41–58.
[31]Kleene, S. C., On the forms of predicates in the theory of constructive ordinals (second paper), American Journal of Mathematics, vol. 77 (1955), pp. 405–428.
[32]Machtey, M. and Young, P., An Introduction to the General Theory of Algorithms, North Holland, New York, 1978.
[33]Osherson, D., Stob, M., and Weinstein, S., Systems that Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists, MIT Press, 1986.
[34]Osherson, D. and Weinstein, S., Criteria for language learning, Information and Control, vol. 52 (1982), pp. 123–138.
[35]Osherson, D. and Weinstein, S., A note on formal learning theory, Cognition, vol. 11 (1982), pp. 77–88.
[36]Osherson, D. and Weinstein, S., Learning theory and natural language, Cognition, vol. 17 (1984), pp. 1–28.
[37]Peter, R., Recursive Functions, Academic Press, New York, 1967.
[38]Pinker, S., Formal models of language learning, Cognition, vol. 7 (1979), pp. 217–283.
[39]Rathjen, M., The realm of ordinal analysis, Sets and Proofs (Cooper, S. and Truss, J., editors), Cambridge University Press, 1999, pp. 219–279.
[40]Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967, Reprinted by MIT Press in 1987.
[41]Royer, J. and Case, J., Subrecursive Programming Systems: Complexity & Succinctness, Birkhäuser, 1994.
[42]Schaefer, M., A guided tour of minimal indices andsliortest descriptions, Archive for Mathematical Logic, vol. 18 (1998), pp. 521–548.
[43]Takeuti, G., Proof Theory, 2nd ed., North Holland, 1987.
[44]Weiermann, A., Proving termination for term rewriting systems, Proceedings of the 5th Workshop on Computer Science Logic (Börger, E., Jäger, G., Büning, H. K., and Richter, M. M., editors), Lecture Notes in Computer Science, vol. 626, 1992, pp. 419–428.
[45]Wexler, K., On extensional learnability, Cognition, vol. 11 (1982), pp. 89–95.
[46]Wexler, K. and Culicover, P., Formal Principles of Language Acquisition, MIT Press, 1980.