The intermediate value theorem in constructive mathematics without choice

DOI10.1016/J.APAL.2011.12.026MaRDI QIDQ424546zbMATHOpenAlexFDO

Authors Matthew Hendtlass

Publication date 1 June 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2011.12.026

zbMATH Keywords

constructive mathematicscountable choiceintermediate value

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• Unique existence, approximate solutions, and countable choice.
• scientific article; zbMATH DE number 1670500
• scientific article; zbMATH DE number 2152236
• A General Constructive Intermediate Value Theorem
• The fundamental theorem of algebra: a constructive development without choice.

Cites work

• scientific article; zbMATH DE number 4177052 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1795226 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Constructive set theory
• Constructivism in mathematics. An introduction. Volume II
• Pre-apartness structures on spaces of functions
• Real numbers and other completions
• Set theoretic foundations for constructive analysis
• Spreads and choice in constructive mathematics.
• The fundamental theorem of algebra: a constructive development without choice.
• Unique existence, approximate solutions, and countable choice.

Cited in

(6)

• A General Constructive Intermediate Value Theorem
• Extensional constructive real analysis via locators
• Spreads and choice in constructive mathematics.
• scientific article; zbMATH DE number 1670500 (Why is no real title available?)
• The double negation of the intermediate value theorem
• Unique existence, approximate solutions, and countable choice.

This page was built for publication: The intermediate value theorem in constructive mathematics without choice

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