Choice sequences and reduction processes

DOI10.1007/BF02011866zbMath0404.03046MaRDI QIDQ4189272

R. Haberthür

Publication date: 1978

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137943

zbMATH Keywords

Proof TheoryIntuitionistic AnalysisSecond-Order ArithmeticStrong Normalization TheoremSystems of Natural Deduction

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items (1)

Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Proof theory and intuitionistic systems
• The correspondence between cut-elimination and normalization
• Induction and transfinite induction in intuitionistic systems

This page was built for publication: Choice sequences and reduction processes