The shrinking principle and the axiom of choice

DOI10.1007/S00605-007-0468-2zbMATH Open1124.03023OpenAlexW1997721056WikidataQ114017769 ScholiaQ114017769MaRDI QIDQ996085FDOQ996085

Authors: Bernhard Banaschewski, Peter 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

Recommendations

• scientific article; zbMATH DE number 3861140
• Pigeonhole and Choice Principles
• Equivalent versions of a weak form of the axiom of choice
• scientific article; zbMATH DE number 3878918
• Axioms of multiple choice

zbMATH Keywords

fragment of constructive Zermelo-Fraenkel set theory

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Choice Implies Excluded Middle
• On constructing completions
• Binary refinement implies discrete exponentiation
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• Excluded Middle versus Choice in a topos

Cited In (7)

• Are there enough injective sets?
• On the equivalence of certain consequences of the proper forcing axiom
• Binary refinement implies discrete exponentiation
• The finite and the infinite
• Pigeonhole and Choice Principles
• On a certain notion of finite and a finiteness class in set theory without choice
• Refinement is equivalent to fullness

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

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