An Introduction to Inductive Definitions
- 1 January 1977
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Inductive definitions and analogues of large cardinalsPublished by Springer Nature ,1972
- The next admissible setThe Journal of Symbolic Logic, 1971
- Hauptsatz for the Intuitionistic Theory of Iterated Inductive DefinitionsPublished by Elsevier ,1971
- Representability in some systems of second order arithmeticIsrael Journal of Mathematics, 1970
- Extensions of the constructive ordinalsThe Journal of Symbolic Logic, 1965
- On hierarchies and systems of notationsProceedings of the American Mathematical Society, 1964
- Constructive versions of ordinal number classesTransactions of the American Mathematical Society, 1961
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958
- A note on function quantificationProceedings of the American Mathematical Society, 1957
- Formal Reductions of the General Combinatorial Decision ProblemAmerican Journal of Mathematics, 1943