Some derived rules of intuitionistic second order arithmetic

DOI10.3792/PJA/1195517883MaRDI QIDQ4159055zbMATH OpenOpenAlexFDO

Authors Susumu Hayashi

Publication date 1977

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195517883

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3259893 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Note on the fan theorem
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

Cited in

(2)

• Boundary integral equations for screen problems in \({\mathbb{R}}^ 3\)
• Choice and independence of premise rules in intuitionistic set theory

This page was built for publication: Some derived rules of intuitionistic second order arithmetic

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