Recursively Mahlo Ordinals and Inductive Definitions

This publication has 8 references indexed in Scilit:

• Applications of Strict Π₁¹ predicates to infinitary logic
  The Journal of Symbolic Logic, 1969
• Hierarchies based on objects of finite type¹
  The Journal of Symbolic Logic, 1969
• Constructively accessible ordinal numbers
  The Journal of Symbolic Logic, 1968
• Constructive transfinite number classes
  Bulletin of the American Mathematical Society, 1967
• Hyperanalytic predicates
  Transactions of the American Mathematical Society, 1967
• Extensions of the constructive ordinals
  The Journal of Symbolic Logic, 1965
• On hierarchies and systems of notations
  Proceedings of the American Mathematical Society, 1964
• Constructive versions of ordinal number classes
  Transactions of the American Mathematical Society, 1961