Some new intuitionistic equivalents of Zorn's Lemma (Q1423638)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Some new intuitionistic equivalents of Zorn's Lemma |
scientific article; zbMATH DE number 2051465
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some new intuitionistic equivalents of Zorn's Lemma |
scientific article; zbMATH DE number 2051465 |
Statements
Some new intuitionistic equivalents of Zorn's Lemma (English)
0 references
7 March 2004
0 references
The author establishes the equivalence within IZF (intuitionistic set theory) of Zorn's Lemma with two statements, one a fixed point property for certain self-adjoint maps on complete lattices, the other the existence of a clique for any reflexive symmetric binary relation.
0 references
Zorn's Lemma
0 references
intuitionistic ZF
0 references
0.9054929
0 references
0.8947634
0 references
0 references
0.8804709
0 references
0.87896997
0 references
0.8730495
0 references
0 references
0.86963016
0 references
