A weak countable choice principle

DOI10.1090/S0002-9939-00-05327-2zbMath0949.03060OpenAlexW1505480266MaRDI QIDQ4490238

Douglas S. Bridges, Fred Richman, Peter M. Schuster

Publication date: 10 July 2000

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9939-00-05327-2

zbMATH Keywords

normed spacefundamental theorem of algebraexplicit mathematicsmetric independenceweak choice principle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Constructive functional analysis (46S30) Axiom of choice and related propositions (03E25)

Related Items (11)

A proof–technique in uniform space theory ⋮ The effects of effects on constructivism ⋮ Ideals in constructive Banach algebra theory ⋮ Bishop's Lemma ⋮ Unique existence, approximate solutions, and countable choice. ⋮ A constructive theory of point-set nearness. ⋮ Differentiating convex functions constructively ⋮ Completeness: when enough is enough ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Converses of Bishop's lemma on located sets ⋮ Formal Zariski topology: Positivity and points

Cites Work

• A course in constructive algebra
• The fundamental theorem of algebra: a constructive development without choice.
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A weak countable choice principle