Some derived rules of intuitionistic second order arithmetic

DOI10.3792/pja/1195517883zbMath0381.03044OpenAlexW2071649958MaRDI QIDQ4159055

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)

Related Items (2)

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

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
• Note on the fan theorem
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

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