Spreads and choice in constructive mathematics.

DOI10.1016/S0019-3577(02)80009-XMaRDI QIDQ1866471zbMATH OpenOpenAlexFDO

Authors Fred Richman

Publication date 1 June 2003

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-3577(02)80009-x

zbMATH Keywords

constructive mathematicscountable choicespreads

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Axiom of choice and related propositions (03E25)

Recommendations

• The fundamental theorem of algebra: a constructive development without choice.
• scientific article; zbMATH DE number 1670500
• scientific article; zbMATH DE number 1795226
• Unique existence, approximate solutions, and countable choice.
• The intermediate value theorem in constructive mathematics without choice

Cites work

• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 17894 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume II
• Generalized real numbers in constructive mathematics
• Intuitionism. An introduction
• The fundamental theorem of algebra: a constructive development without choice.

Cited in

(3)

• scientific article; zbMATH DE number 1795226 (Why is no real title available?)
• The intermediate value theorem in constructive mathematics without choice
• Problems, solutions, and completions

This page was built for publication: Spreads and choice in constructive mathematics.

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