Unique Existence and Computability in Constructive Reverse Mathematics

DOI10.1007/978-3-540-73001-9_38MaRDI QIDQ5425338zbMATH OpenOpenAlexFDO

Authors Hajime Ishihara

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73001-9_38

zbMATH Keywords

Brouwer's fan theoremcomputabilityconstructive mathematicsreverse mathematicsunique existenceweak König lemma

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Other constructive mathematics (03F65)

Recommendations

• Brouwer's fan theorem and unique existence in constructive analysis
• The fan theorem and unique existence of maxima
• A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
• Another unique weak König's lemma WKL!!
• Minima of initial segments of infinite sequences of reals

Cited in

(6)

• Problems, solutions, and completions
• Minima of initial segments of infinite sequences of reals
• A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
• Brouwer's fan theorem and unique existence in constructive analysis
• The fan theorem and unique existence of maxima
• Logical Approaches to Computational Barriers

This page was built for publication: Unique Existence and Computability in Constructive Reverse Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5425338)