Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY

DOI10.1007/BFb0080643zbMath0181.00504MaRDI QIDQ2534695

A. S. Troelstra

Publication date: 1969

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0080643

zbMATH Keywords

general logic

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, Every metric space is separable in function realizability, Decidable fan theorem and uniform continuity theorem with continuous moduli, Intuitionism and the liar paradox, Brouwer's weak counterexamples and the creative subject: a critical survey, 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, To be or not to be constructive, that is not the question, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Creative subject, Beth models and neighbourhood functions, Curry-Howard-Lambek correspondence for intuitionistic belief, 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