Polynomial Analogue of Gandy’s Fixed Point Theorem

The paper suggests a general method for proving the fact whether a certain set is p-computable or not. The method is based on a polynomial analogue of the classical Gandy’s fixed point theorem. Classical Gandy’s theorem deals with the extension of a predicate through a special operator ΓΦ(x)Ω∗ and s...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematics (Basel) Jg. 9; H. 17; S. 2102
Hauptverfasser:	Goncharov, Sergey, Nechesov, Andrey
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Basel MDPI AG 01.09.2021
Schlagworte:	Fixed points (mathematics) Gandy’s fixed point theorem Mathematics Operators (mathematics) p-computability polynomial computability polynomial operators Polynomials semantic programming Theorems Δ0p
ISSN:	2227-7390, 2227-7390
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!