Ordinal Recursion and Inductive Definitions

This publication has 8 references indexed in Scilit:

• The next admissible set
  The Journal of Symbolic Logic, 1971
• Representability in some systems of second order arithmetic
  Israel Journal of Mathematics, 1970
• Some Applications of Almost Disjoint Sets
  Published by Elsevier ,1970
• Metarecursive sets
  The Journal of Symbolic Logic, 1965
• On hierarchies and systems of notations
  Proceedings of the American Mathematical Society, 1964
• Some consequences of the axiom of constructibility
  Fundamenta Mathematicae, 1958
• Recursive well-orderings
  The Journal of Symbolic Logic, 1955
• Sur l'uniformisation des complémentaires analytiques et les ensembles projectifs de la seconde classe
  Japanese journal of mathematics :transactions and abstracts, 1939