scientific article; zbMATH DE number 3552491
From MaRDI portal
Publication:4126323
zbMATH Open0355.02026MaRDI QIDQ4126323FDOQ4126323
Authors: A. S. Troelstra
Publication date: 1977
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55)
Cited In (41)
- More about relatively lawless sequences
- Spreads or choice sequences?
- On a weakening of Markov's Principle
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- Formally computing with the non-computable
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
- Relative lawlessness in intuitionistic analysis
- The continuum hypothesis in intuitionism
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- On a second order propositional operator in intuitionistic logic
- A Dialogical Account of the Intersubjectivity of Intuitionism
- Relational quantum mechanics and intuitionistic mathematics
- Real numbers are the hidden variables of classical mechanics
- Brouwer's incomplete objects
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- An intuitionistic proof of Tychonoff's theorem
- Markov's constructive analysis; a participant's view
- Sheaf models for choice sequences
- Annual meeting of the Association for Symbolic Logic, Anaheim, 1985
- Creative subject, Beth models and neighbourhood functions
- Some obstacles facing a semantic foundation for constructive mathematics
- Between Turing and Kleene
- Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice
- Realizing Brouwer's sequences
- A classical view of the intuitionistic continuum
- A Coalgebraic View of Bar Recursion and Bar Induction
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- On the contrapositive of countable choice
- Glueing of analysis models in an intuitionistic setting
- Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace
- INTUITIONISTIC ANALYSIS AT THE END OF TIME
- A variant of Thomason's first-order logic CF based on situations
- Choice sequences and the continuum
- Reflexive intermediate propositional logics
- A constructive approach to nonstandard analysis
- A constructive approach to state description semantics
- An application of constructive completeness
- Randomness? What randomness?
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4126323)