Some axioms for constructive analysis

DOI10.1007/S00153-012-0273-ZMaRDI QIDQ453178zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)

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)