Countable Choice as a Questionable Uniformity Principle

DOI10.1093/PHILMAT/12.2.106MaRDI QIDQ4662816zbMATH OpenOpenAlexFDO

Authors Peter Schuster

Publication date 30 March 2005

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/12.2.106

zbMATH Keywords

axiom of choiceuniformity principle

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Axiom of choice and related propositions (03E25) Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 1795226
• Unique existence, approximate solutions, and countable choice.
• The fundamental theorem of algebra: a constructive development without choice.
• scientific article; zbMATH DE number 3843743
• scientific article; zbMATH DE number 5064954

Cited in

(12)

• Problems, solutions, and completions
• Closed subsets in Bishop topological groups
• The effects of effects on constructivism
• Uniform perfectness for interval exchange transformations with or without flips
• Approximating Beppo Levi's \textit{principio di approssimazione}
• A weak countable choice principle
• scientific article; zbMATH DE number 1795226 (Why is no real title available?)
• Choice Principles and Constructive Logics†
• Proof-relevance in Bishop-style constructive mathematics
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• A predicative approach to the constructive integration theory of locally compact metric spaces
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics

This page was built for publication: Countable Choice as a Questionable Uniformity Principle

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