Recommendations
- Axiomatization of calculus of constructions
- scientific article; zbMATH DE number 637397
- scientific article; zbMATH DE number 437520
- Peculiarities of constructive mathematical analysis
- On the constructive axiomatic method
- Some consequences of the axiom of constructibility
- Constructive mathematics: a foundation for computable analysis
- Compactness in constructive analysis revisited
- Constructive analysis, types and exact real numbers
- scientific article; zbMATH DE number 1670500
Cites work
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 3432235 (Why is no real title available?)
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- scientific article; zbMATH DE number 2247263 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
- A separation result for varieties of Brouwer's fan theorem
- Brouwer's fan theorem and unique existence in constructive analysis
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- Can there be no nonrecursive functions?
- Constructivism in mathematics. An introduction. Volume II
- Equivalents of the (weak) fan theorem
- Formalized recursive functionals and formalized realizability
- Lifschitz' realizability
- Note on the fan theorem
- Sequences of real functions on [0,1] in constructive reverse mathematics
- Some applications of Kripke models to formal systems of intuitionistic analysis
Cited in
(15)- scientific article; zbMATH DE number 3843743 (Why is no real title available?)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- A decomposition of Brouwer's fan theorem
- From Bolzano‐Weierstraß to Arzelà‐Ascoli
- The effects of effects on constructivism
- scientific article; zbMATH DE number 1222925 (Why is no real title available?)
- Classical and constructive hierarchies in extended intuitionistic analysis
- A classical view of the intuitionistic continuum
- On the contrapositive of countable choice
- scientific article; zbMATH DE number 6320249 (Why is no real title available?)
- Solovay's relative consistency proof for FIM and BI
- Minimum classical extensions of constructive theories
- Markov's principle and subsystems of intuitionistic analysis
- Variations on a theme by Ishihara
- Unavoidable sequences in constructive analysis
This page was built for publication: Some axioms for constructive analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q453178)