Induction and transfinite induction in intuitionistic systems

DOI10.1016/0003-4843(72)90014-9zbMath0243.02021OpenAlexW2009900714MaRDI QIDQ5654021

Bruno Scarpellini

Publication date: 1972

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(72)90014-9

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Related Items

Theory of proofs (arithmetic and analysis), Choice sequences and reduction processes