Constructive Versions of Ordinal Number Classes

This publication has 13 references indexed in Scilit:

• Axiom schemata of strong infinity in axiomatic set theory
  Pacific Journal of Mathematics, 1960
• Recursive Functions Over Well Ordered Partial Orderings
  Proceedings of the American Mathematical Society, 1959
• A Note on Function Quantification
  Proceedings of the American Mathematical Society, 1957
• Transfinite Zahlen. By H. Bachmann. Pp. vii, 204. DM 29.80. 1955. Ergebnisse der Mathematik, New Series, 1. (Springer, Berlin)
  The Mathematical Gazette, 1956
• Arithmetical Predicates and Function Quantifiers
  Transactions of the American Mathematical Society, 1955
• Hierarchies of number-theoretic predicates
  Bulletin of the American Mathematical Society, 1955
• The Upper Semi-Lattice of Degrees of Recursive Unsolvability
  Annals of Mathematics, 1954
• Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)
  The Mathematical Gazette, 1954
• Abstract Set Theory. By A.A. Fraenkel. Pp. xii, 479. 76s. 1953. (North-Holland Publishing Co., Amsterdam)
  The Mathematical Gazette, 1954
• The constructive second number class
  Bulletin of the American Mathematical Society, 1938