A useful fixpoint theorem (Q1275737)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A useful fixpoint theorem |
scientific article |
Statements
A useful fixpoint theorem (English)
0 references
13 January 1999
0 references
The author gives another proof of Bourbaki's fixed point theorem about extensive mappings on CPOs.
0 references
complete partial order
0 references
Bourbaki's fixed point theorem
0 references
extensive mappings
0 references
