A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
From MaRDI portal
Publication:5607224
DOI10.2307/1995087zbMath0207.01203OpenAlexW4230486505WikidataQ56112783 ScholiaQ56112783MaRDI QIDQ5607224
Hilary Putnam, Richard K. Boyd, G. Hensel
Publication date: 1969
Full work available at URL: https://doi.org/10.2307/1995087
Related Items
A disquotational theory of truth as strong as \(Z_2^-\) ⋮ Some notes on truths and comprehension ⋮ THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS ⋮ Constructibility in higher order arithmetics
Cites Work