Countable Choice as a Questionable Uniformity Principle
From MaRDI portal
Publication:4662816
DOI10.1093/philmat/12.2.106zbMath1074.03003OpenAlexW2005889512MaRDI QIDQ4662816
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
Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25)
Related Items
The effects of effects on constructivism ⋮ Proof-relevance in Bishop-style constructive mathematics ⋮ APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Problems, solutions, and completions ⋮ Closed subsets in Bishop topological groups