Spreads and choice in constructive mathematics.

DOI10.1016/S0019-3577(02)80009-XzbMATH Open1035.03032OpenAlexW2046449513MaRDI QIDQ1866471FDOQ1866471

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

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

zbMATH Keywords

constructive mathematicscountable choicespreads

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Intuitionism. An introduction
• Constructivism in mathematics. An introduction. Volume II
• The fundamental theorem of algebra: a constructive development without choice.
• Generalized real numbers in constructive mathematics
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• 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)