The shrinking principle and the axiom of choice

DOI10.1007/S00605-007-0468-2zbMath1124.03023OpenAlexW1997721056WikidataQ114017769 ScholiaQ114017769MaRDI QIDQ996085

Bernhard Banaschewski, Peter M. Schuster

Publication date: 11 September 2007

Published in: Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00605-007-0468-2

zbMATH Keywords

fragment of constructive Zermelo-Fraenkel set theory

Mathematics Subject Classification ID

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

Related Items (4)

Are there enough injective sets? ⋮ On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice ⋮ Binary refinement implies discrete exponentiation ⋮ The finite and the infinite

Cites Work

• Unnamed Item
• Binary refinement implies discrete exponentiation
• Choice Implies Excluded Middle
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• Excluded Middle versus Choice in a topos
• On constructing completions

This page was built for publication: The shrinking principle and the axiom of choice