Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
From MaRDI portal
Publication:2534695
DOI10.1007/BFb0080643zbMath0181.00504MaRDI QIDQ2534695
Publication date: 1969
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Related Items
Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Gödel and Intuitionism, Intuitionism and the liar paradox, Arithmetic transfinite induction and recursive well-orderings, On the Brouwerian concept of negative continuity, On the foundations of best approximation theory, On constructive functions ranging over propositions, Validity and quantification in intuitionism, On a second order propositional operator in intuitionistic logic, A very strong intuitionistic theory, Equational axioms for classes of Heyting algebras, The theory of empirical sequences, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Five observations concerning the intended meaning of the intuitionistic logical constants, Creative subject, Beth models and neighbourhood functions, Infinity and verifiability in Carnap's inductive logic, Montague's paradox, informal provability, and explicit modal logic, The Kripke schema in metric topology, Brouwer's Incomplete Objects, On brouwer's definition of unextendable order, Unnamed Item, Über das Markov-Prinzip II