The shrinking principle and the axiom of choice

DOI10.1007/S00605-007-0468-2MaRDI QIDQ996085zbMATHOpenAlexWikidataFDO

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

zbMATH Keywords

fragment of constructive Zermelo-Fraenkel set theory

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• Binary refinement implies discrete exponentiation
• Choice Implies Excluded Middle
• Excluded Middle versus Choice in a topos
• On constructing completions
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories

Cited in

(7)

• Are there enough injective sets?
• On the equivalence of certain consequences of the proper forcing axiom
• The finite and the infinite
• Binary refinement implies discrete exponentiation
• On a certain notion of finite and a finiteness class in set theory without choice
• Pigeonhole and Choice Principles
• 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)