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 <inline-formu...

תיאור מלא

מידע ביבליוגרפי

Principais autores:	Sergey Goncharov, Andrey Nechesov
פורמט:	Artigo
שפה:	Inglês
יצא לאור:	MDPI AG 2021-08-01
סדרה:	Mathematics
נושאים:	polynomial computability p-computability Gandy’s fixed point theorem semantic programming polynomial operators <inline-formula><math display="inline"><semantics><msubsup><mo>Δ</mo><mn>0</mn><mi>p</mi></msubsup></semantics></math></inline-formula>
גישה מקוונת:	https://www.mdpi.com/2227-7390/9/17/2102
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!