An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions
From MaRDI portal
Publication:1057857
DOI10.21099/TKBJM/1496160038zbMath0564.03041OpenAlexW790861174MaRDI QIDQ1057857
Publication date: 1984
Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21099/tkbjm/1496160038
Related Items (2)
Note on a proof of the extended Kirby-Paris theorem on labelled finite trees ⋮ The machinery of consistency proofs
This page was built for publication: An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions
