A consistency proof of a system including Feferman's \(ID_{\xi}\) by Takeuti's reduction method
From MaRDI portal
Publication:1100461
DOI10.21099/tkbjm/1496160577zbMath0641.03034OpenAlexW1585970305MaRDI QIDQ1100461
Publication date: 1987
Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.21099/tkbjm/1496160577
Related Items
A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION ⋮ Two applications of analytic functors ⋮ Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
