A new fixed point theorem in domain theory

A new fixed point theorem in domain theory

We generalize the standard fixed point theorem in domain theory: a dcpo has the fixed point property iff the image of its least deflation has the fixed point property, provided that the least deflation exists. We then turn to the existence of least deflations, showing that they exist in a number of...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Natural computing 2019-12, Vol.18 (4), p.901-905
Hauptverfasser: Martin, Keye, Feng, Johnny
Format: Artikel
Sprache:eng
Schlagworte:
Artificial Intelligence
Complex Systems
Computer Science
Evolutionary Biology
Fixed points (mathematics)
Processor Architectures
Theorems
Theory of Computation
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We generalize the standard fixed point theorem in domain theory: a dcpo has the fixed point property iff the image of its least deflation has the fixed point property, provided that the least deflation exists. We then turn to the existence of least deflations, showing that they exist in a number of important cases, including the case of compact domains.
ISSN:1567-7818
1572-9796
DOI:10.1007/s11047-018-9672-3