The intermediate value theorem in constructive mathematics without choice

DOI10.1016/j.apal.2011.12.026zbMath1251.03085OpenAlexW2033326963MaRDI QIDQ424546

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)

Related Items (max. 100)

Extensional constructive real analysis via locators

Cites Work

• Pre-apartness structures on spaces of functions
• Constructivism in mathematics. An introduction. Volume II
• Set theoretic foundations for constructive analysis
• Unique existence, approximate solutions, and countable choice.
• Spreads and choice in constructive mathematics.
• Constructive set theory
• Real numbers and other completions
• The fundamental theorem of algebra: a constructive development without choice.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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