The shrinking principle and the axiom of choice (Q996085): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114017769 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Binary refinement implies discrete exponentiation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Excluded Middle versus Choice in a topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zorn's lemma and complete Boolean algebras in intuitionistic type theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On constructing completions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Choice Implies Excluded Middle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4210469 / rank | |||
Normal rank |
Latest revision as of 15:17, 26 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The shrinking principle and the axiom of choice |
scientific article |
Statements
The shrinking principle and the axiom of choice (English)
0 references
11 September 2007
0 references
fragment of constructive Zermelo-Fraenkel set theory
0 references