On the completeness of some transfinite recursive progressions of axiomatic theories
From MaRDI portal
Publication:5591513
DOI10.2307/2270053zbMath0195.30403OpenAlexW2116361905MaRDI QIDQ5591513
Publication date: 1968
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270053
Related Items
Transfinite Progressions: A Second Look at Completeness ⋮ Completeness of the primitive recursive \(\omega \)-rule
Cites Work