Spreads and choice in constructive mathematics.

DOI10.1016/S0019-3577(02)80009-XzbMath1035.03032OpenAlexW2046449513MaRDI QIDQ1866471

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

spreadsconstructive mathematicscountable choice

Mathematics Subject Classification ID

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

Related Items (2)

The intermediate value theorem in constructive mathematics without choice ⋮ Problems, solutions, and completions

Cites Work

• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• Constructivism in mathematics. An introduction. Volume II
• Generalized real numbers in constructive mathematics
• The fundamental theorem of algebra: a constructive development without choice.

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