Some Reasons for Generalizing Recursion Theory

This publication has 35 references indexed in Scilit:

• Applications of Strict Π₁¹ predicates to infinitary logic
  The Journal of Symbolic Logic, 1969
• Infinitary logic and admissible sets
  The Journal of Symbolic Logic, 1969
• Metarecursively enumerable sets and their metadegrees
  The Journal of Symbolic Logic, 1968
• Autonomous Transfinite Progressions and the Extent of Predicative Mathematics
  Studies in Logic and the Foundations of Mathematics, 1968
• Note on admissible ordinals
  Published by Springer Nature ,1968
• A minimal hyperdegree
  Fundamenta Mathematicae, 1967
• Subgroups of finitely presented groups
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1961
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
  The Journal of Symbolic Logic, 1958
• On the Forms of the Predicates in the Theory of Constructive Ordinals
  American Journal of Mathematics, 1944