The authors deal with numerous axioms (function comprehension, choice, fan and bar theorem, weak König's lemma, etc.) at the borderlines between constructive, intuitionistic, recursive, and classical analysis. Among other things they relate Kleene's and Troelstra's minimal formal theories of numbers and number sequences, decompose countable choice into a monotone and a boundede part, and propose a version of weak König's lemma with uniqueness hypothesis.
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
- 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
- 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?)
- 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
(16)- A classical view of the intuitionistic continuum
- Solovay's relative consistency proof for FIM and BI
- Minimum classical extensions of constructive theories
- The effects of effects on constructivism
- A decomposition of Brouwer's fan theorem
- scientific article; zbMATH DE number 3843743 (Why is no real title available?)
- Unavoidable sequences in constructive analysis
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- scientific article; zbMATH DE number 1222925 (Why is no real title available?)
- Classical and constructive hierarchies in extended intuitionistic analysis
- scientific article; zbMATH DE number 6320249 (Why is no real title available?)
- Markov's principle and subsystems of intuitionistic analysis
- From Bolzano‐Weierstraß to Arzelà‐Ascoli
- Variations on a theme by Ishihara
- On the contrapositive of countable choice
- The Fan Theorem, its strong negation, and the determinacy of games
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)
