Provable wellorderings of formal theories for transfinitely iterated inductive definitions
Work
Year: 1978
Type: article
Abstract: By [12] we know that transfinite induction up to Θ εΩ N +1 0 is not provable in ID N , the theory of N -times iterated inductive definitions. In this paper we will show that conversely transfinite ind... more
Source: Journal of Symbolic Logic
Authors Wilfried Buchholz, Wolfram Pohlers
Institution Ludwig-Maximilians-Universität München
Cites: 11
Cited by: 22
Related to: 10
FWCI: 2.276
Citation percentile (by year/subfield): 84.74
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green