Some axioms for constructive analysis
DOI10.1007/S00153-012-0273-ZzbMATH Open1262.03125OpenAlexW2057631483MaRDI QIDQ453178FDOQ453178
Authors: Joan Rand Moschovakis, Garyfallia Vafeiadou 
Publication date: 18 September 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-012-0273-z
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
axiomscountable choiceclassical analysis[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=weak+K%EF%BF%BD%EF%BF%BDnig%27s+lemma&go=Go weak K��nig's lemma]constructive analysisrecursive analysisintuitionistic analysisminimal formal theories of numbers and number sequences
Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructivism in mathematics. An introduction. Volume II
- Title not available (Why is that?)
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- Title not available (Why is that?)
- Equivalents of the (weak) fan theorem
- Brouwer's fan theorem and unique existence in constructive analysis
- Sequences of real functions on [0,1] in constructive reverse mathematics
- Lifschitz' realizability
- A separation result for varieties of Brouwer's fan theorem
- Some applications of Kripke models to formal systems of intuitionistic analysis
- Note on the fan theorem
- Title not available (Why is that?)
- A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
- Formalized recursive functionals and formalized realizability
- Can there be no nonrecursive functions?
Cited In (15)
- 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
- Title not available (Why is that?)
- Classical and constructive hierarchies in extended intuitionistic analysis
- A classical view of the intuitionistic continuum
- On the contrapositive of countable choice
- Title not available (Why is that?)
- Solovay's relative consistency proof for FIM and BI
- Markov's principle and subsystems of intuitionistic analysis
- Minimum classical extensions of constructive theories
- Variations on a theme by Ishihara
- Unavoidable sequences in constructive analysis
- Title not available (Why is that?)
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)
