The intermediate value theorem in constructive mathematics without choice

DOI10.1016/J.APAL.2011.12.026zbMATH Open1251.03085OpenAlexW2033326963MaRDI QIDQ424546FDOQ424546

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

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.

zbMATH Keywords

constructive mathematicscountable choiceintermediate value

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• A General Constructive Intermediate Value Theorem
• Extensional constructive real analysis via locators
• Title not available (Why is that?)
• Unique existence, approximate solutions, and countable choice.
• Spreads and choice in constructive mathematics.
• The double negation of the intermediate value theorem

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)