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.00504OpenAlexW2505342650MaRDI QIDQ2534695
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
Related Items (28)
Brouwer's weak counterexamples and the creative subject: a critical survey ⋮ On the Brouwerian concept of negative continuity ⋮ Unnamed Item ⋮ Creative subject, Beth models and neighbourhood functions ⋮ Decidable fan theorem and uniform continuity theorem with continuous moduli ⋮ To be or not to be constructive, that is not the question ⋮ 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 ⋮ Intuitionism and the liar paradox ⋮ Infinity and verifiability in Carnap's inductive logic ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ Brouwer's Incomplete Objects ⋮ A very strong intuitionistic theory ⋮ Equational axioms for classes of Heyting algebras ⋮ Über das Markov-Prinzip II ⋮ Every metric space is separable in function realizability ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ The theory of empirical sequences ⋮ Curry-Howard-Lambek correspondence for intuitionistic belief ⋮ 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 ⋮ On brouwer's definition of unextendable order ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Gödel and Intuitionism ⋮ The Kripke schema in metric topology ⋮ Arithmetic transfinite induction and recursive well-orderings
This page was built for publication: Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
