Formal systems for some branches of intuitionistic analysis
From MaRDI portal
Cited in
(55)- On a second order propositional operator in intuitionistic logic
- The intuitionistic alternative set theory
- Brouwer's constructivism
- A hierarchy of Brouwer constructive functionals
- The theory of empirical sequences
- Theory of proofs (arithmetic and analysis)
- From constructivism to computer science
- \(QPC_ 2\): A constructive calculus with parameterized specifications
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- A classical view of the intuitionistic continuum
- Realizing Brouwer's sequences
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
- Between Turing and Kleene
- Satisfiability is false intuitionistically: a question from Dana Scott
- Characterising Brouwer's continuity by bar recursion on moduli of continuity
- Semantical completeness of first-order predicate logic and the weak fan theorem
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions
- CZF does not have the existence property
- Lifting proofs from countable to uncountable mathematics
- Continuous functions on final coalgebras
- The principle of pointfree continuity
- Toward useful type-free theories. I
- On choice sequences determined by spreads
- Relative lawlessness in intuitionistic analysis
- On the derivability of instantiation properties
- scientific article; zbMATH DE number 3563037 (Why is no real title available?)
- Über das Markov-Prinzip II
- The use of Kripke's schema as a reduction principle
- Eine beweistheoretische Anwendung partieller stetiger Funktionale
- scientific article; zbMATH DE number 3438823 (Why is no real title available?)
- From the weak to the strong existence property
- Interrelation between weak fragments of double negation shift and related principles
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
- Higher order functions and Brouwer's thesis
- Formally continuous functions on Baire space
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- scientific article; zbMATH DE number 3253161 (Why is no real title available?)
- scientific article; zbMATH DE number 3382322 (Why is no real title available?)
- Can there be no nonrecursive functions?
- A system of abstract constructive ordinals
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Analyzing realizability by Troelstra's methods
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Choice and independence of premise rules in intuitionistic set theory
- Locatedness and overt sublocales
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- A logical characterization of the continuous bar induction
- Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle
- A potentialist perspective on intuitionistic analysis
- Separating Markov's principles
- Extended bar induction in applicative theories
- Sheaf models for choice sequences
- Constructive formalization of the Tennenbaum theorem and its applications
This page was built for publication: Formal systems for some branches of intuitionistic analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5611760)
