scientific article; zbMATH DE number 3552491
From MaRDI portal
Publication:4126323
Cited in
(41)- A coalgebraic view of bar recursion and bar induction
- Real numbers are the hidden variables of classical mechanics
- On a second order propositional operator in intuitionistic logic
- A classical view of the intuitionistic continuum
- Relative lawlessness in intuitionistic analysis
- On the contrapositive of countable choice
- Reflexive intermediate propositional logics
- Choice sequences and the continuum
- Annual meeting of the Association for Symbolic Logic, Anaheim, 1985
- Brouwer's incomplete objects
- Formally computing with the non-computable
- On a weakening of Markov's Principle
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- A constructive approach to nonstandard analysis
- Markov's constructive analysis; a participant's view
- Between Turing and Kleene
- A constructive approach to state description semantics
- A variant of Thomason's first-order logic CF based on situations
- More about relatively lawless sequences
- An intuitionistic proof of Tychonoff's theorem
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
- Creative subject, Beth models and neighbourhood functions
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
- A Dialogical Account of the Intersubjectivity of Intuitionism
- Glueing of analysis models in an intuitionistic setting
- Realizing Brouwer's sequences
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- Sheaf models for choice sequences
- The continuum hypothesis in intuitionism
- An application of constructive completeness
- Some obstacles facing a semantic foundation for constructive mathematics
- Randomness? What randomness?
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- Intuitionistic analysis at the end of time
- Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace
- Spreads or choice sequences?
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice
- Relational quantum mechanics and intuitionistic mathematics
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)
