Title: Metamathematical investigation of intuitionistic arithmetic and analysis
Subjects: Intuitionistic mathematics, Proof theory, Model theory, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations