The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs - van Atten, Mark (Indagationes mathematicae, 2018)
Keywords: Brouwer, L. E. J., Brouwer–Kripke schema; Creating subject; Infinite proofs; Intuitionistic logic; Intuitionistic mathematics; Kreisel, G., Kripke, S., Myhill, J., Troelstra, A.S., Theory of the creating subject; Logic; Numerical analysis; Proof theory; Theoretical mathematics; Kreisel, G., Kripke, S., Myhill, J., Troelstra, A.S., Theory of the creating subject; Brouwer, L. E. J., Brouwer–Kripke schema; Intuitionistic logic; Infinite proofs; Creating subject; Intuitionistic mathematics