A language and axioms for explicit mathematics

This publication has 17 references indexed in Scilit:

• Iterated inductive definitions, trees and ordinals
  Lecture Notes in Mathematics, 1973
• A system of abstract constructive ordinals
  The Journal of Symbolic Logic, 1972
• Constructive measure theory
  Memoirs of the American Mathematical Society, 1972
• Π 1 1 models and Π 1 1 -categoricity
  Published by Springer Nature ,1972
• Formal systems for some branches of intuitionistic analysis
  Annals of Mathematical Logic, 1970
• Constructive validity
  Published by Springer Nature ,1970
• Infinitary logic and admissible sets
  The Journal of Symbolic Logic, 1969
• Hyperarithmetic ultrafilters
  Published by Springer Nature ,1968
• Systems of predicative analysis
  The Journal of Symbolic Logic, 1964
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958