Iterated Inductive Definitions and Σ21-AC

Publisher Website

1 January 1970

book chapter
Published by Elsevier

p. 435-442
https://doi.org/10.1016/s0049-237x(08)70769-9

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis
Published by Elsevier ,1970
A survey of proof theory
The Journal of Symbolic Logic, 1968