scientific article; zbMATH DE number 3552491
From MaRDI portal
Publication:4126323
zbMath0355.02026MaRDI QIDQ4126323
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55)
Related Items
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), A constructive approach to nonstandard analysis, Annual meeting of the Association for Symbolic Logic, Anaheim, 1985, Glueing of analysis models in an intuitionistic setting, Some obstacles facing a semantic foundation for constructive mathematics, Between Turing and Kleene, Creative subject, Beth models and neighbourhood functions, An intuitionistic proof of Tychonoff's theorem, Spreads or choice sequences?, Randomness? What randomness?, A classical view of the intuitionistic continuum, Realizing Brouwer's sequences, Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels, More about relatively lawless sequences, Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis, A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES, On the contrapositive of countable choice, Relative lawlessness in intuitionistic analysis, INTUITIONISTIC ANALYSIS AT THE END OF TIME, Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice, A constructive approach to state description semantics, On a second order propositional operator in intuitionistic logic, Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace, A Dialogical Account of the Intersubjectivity of Intuitionism, Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics, An application of constructive completeness, On a weakening of Markov's Principle, A variant of Thomason's first-order logic CF based on situations, Brouwer's Incomplete Objects, Reflexive intermediate propositional logics, The creating subject, the Brouwer-Kripke schema, and infinite proofs, A Coalgebraic View of Bar Recursion and Bar Induction, The continuum hypothesis in intuitionism, Markov's constructive analysis; a participant's view, Sheaf models for choice sequences, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\), Formally computing with the non-computable
