The shrinking principle and the axiom of choice
type: Item
instance of: scholarly article
title: The shrinking principle and the axiom of choice
zbMATH Open document ID: 1124.03023
published in: Monatshefte für Mathematik
publication date: 2007-09-11T00:00:00Z
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 03F65
zbMATH DE Number: 5189630
zbMATH Keywords: fragment of constructive Zermelo-Fraenkel set theory
author: Bernhard Banaschewski
author: Peter Schuster
MaRDI profile type: Publication
full work available at URL: s00605-007-0468-2
OpenAlex ID: W1997721056
Wikidata QID: Q114017769
cites work: Binary refinement implies discrete exponentiation
cites work: Excluded Middle versus Choice in a topos
cites work: Zorn's lemma and complete Boolean algebras in intuitionistic type theories
cites work: On constructing completions
cites work: Choice Implies Excluded Middle
cites work: Q4210469
DOI: 10.1007/S00605-007-0468-2
description: scientific article; zbMATH DE number 5189630