scientific article; zbMATH DE number 3552491

Cited in

(50)

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

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)