Choice sequences and reduction processes

DOI10.1007/BF02011866MaRDI QIDQ4189272zbMATH OpenFDO

Authors 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

Intuitionistic AnalysisProof TheorySecond-Order ArithmeticStrong Normalization TheoremSystems of Natural Deduction

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Induction and transfinite induction in intuitionistic systems
• 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

Cited in

(1)

• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4189272)