Elementary choiceless constructive analysis
From MaRDI portal
approximate analysisconnectednessconstructive mathematicscountable choiceintermediate valuesunique existence
Axiom of choice and related propositions (03E25) Constructive and recursive analysis (03F60) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Constructive real analysis (26E40) Connected and locally connected spaces (general aspects) (54D05) Metric spaces, metrizability (54E35)
Recommendations
- Unique existence, approximate solutions, and countable choice.
- On the contrapositive of countable choice
- scientific article; zbMATH DE number 2152236
- The intermediate value theorem in constructive mathematics without choice
- The fundamental theorem of algebra: a constructive development without choice.
Cited in
(11)- Unique existence, approximate solutions, and countable choice.
- Spreads and choice in constructive mathematics.
- The effects of effects on constructivism
- Strong continuity implies uniform sequential continuity
- The intermediate value theorem in constructive mathematics without choice
- Some axioms for constructive analysis
- scientific article; zbMATH DE number 1795226 (Why is no real title available?)
- scientific article; zbMATH DE number 2152236 (Why is no real title available?)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property
- scientific article; zbMATH DE number 7594103 (Why is no real title available?)
- On the contrapositive of countable choice
This page was built for publication: Elementary choiceless constructive analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753696)
