Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169114697> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2169114697 endingPage "1323" @default.
- W2169114697 startingPage "1288" @default.
- W2169114697 abstract "Let W e be the e th recursively enumerable (r.e.) set in a standard enumeration. The fixed point form of Kleene's recursion theorem asserts that for every recursive function f there exists e which is a fixed point of f in the sense that W e = W f ( e ) . In this paper our main concern is to study the degrees of functions with no fixed points. We consider both fixed points in the strict sense above and fixed points modulo various equivalence relations on recursively enumerable sets. Our starting point for the investigation of the degrees of functions without (strict) fixed points is the following result due to M. M. Arslanov [A1, Theorem 1] and known as the Arslanov completeness criterion. Proofs of this result may also be found in [So1, Theorem 1.3] and [So2, Chapter 12], and we will give a game version of the proof in §5 of this paper. Theorem 1.1 (Arslanov). Let A be an r.e. set. Then A is complete ( i.e. A has degree 0 ′) iff there is a function f recursive in A with no fixed point ." @default.
- W2169114697 created "2016-06-24" @default.
- W2169114697 creator A5008417331 @default.
- W2169114697 creator A5023422267 @default.
- W2169114697 creator A5091241581 @default.
- W2169114697 creator A5091904171 @default.
- W2169114697 date "1989-12-01" @default.
- W2169114697 modified "2023-10-10" @default.
- W2169114697 title "Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion" @default.
- W2169114697 cites W10794601 @default.
- W2169114697 cites W1480985349 @default.
- W2169114697 cites W1556584770 @default.
- W2169114697 cites W2029823283 @default.
- W2169114697 cites W2055180636 @default.
- W2169114697 cites W4231202900 @default.
- W2169114697 cites W4232277851 @default.
- W2169114697 doi "https://doi.org/10.1017/s0022481200041104" @default.
- W2169114697 hasPublicationYear "1989" @default.
- W2169114697 type Work @default.
- W2169114697 sameAs 2169114697 @default.
- W2169114697 citedByCount "37" @default.
- W2169114697 countsByYear W21691146972012 @default.
- W2169114697 countsByYear W21691146972013 @default.
- W2169114697 countsByYear W21691146972014 @default.
- W2169114697 countsByYear W21691146972015 @default.
- W2169114697 countsByYear W21691146972016 @default.
- W2169114697 countsByYear W21691146972017 @default.
- W2169114697 countsByYear W21691146972019 @default.
- W2169114697 countsByYear W21691146972020 @default.
- W2169114697 countsByYear W21691146972021 @default.
- W2169114697 countsByYear W21691146972022 @default.
- W2169114697 crossrefType "journal-article" @default.
- W2169114697 hasAuthorship W2169114697A5008417331 @default.
- W2169114697 hasAuthorship W2169114697A5023422267 @default.
- W2169114697 hasAuthorship W2169114697A5091241581 @default.
- W2169114697 hasAuthorship W2169114697A5091904171 @default.
- W2169114697 hasConcept C114614502 @default.
- W2169114697 hasConcept C118615104 @default.
- W2169114697 hasConcept C134306372 @default.
- W2169114697 hasConcept C140479938 @default.
- W2169114697 hasConcept C146147875 @default.
- W2169114697 hasConcept C203702658 @default.
- W2169114697 hasConcept C27333817 @default.
- W2169114697 hasConcept C2777044963 @default.
- W2169114697 hasConcept C28642324 @default.
- W2169114697 hasConcept C33923547 @default.
- W2169114697 hasConcept C45962547 @default.
- W2169114697 hasConcept C52703633 @default.
- W2169114697 hasConcept C54732982 @default.
- W2169114697 hasConcept C61445026 @default.
- W2169114697 hasConceptScore W2169114697C114614502 @default.
- W2169114697 hasConceptScore W2169114697C118615104 @default.
- W2169114697 hasConceptScore W2169114697C134306372 @default.
- W2169114697 hasConceptScore W2169114697C140479938 @default.
- W2169114697 hasConceptScore W2169114697C146147875 @default.
- W2169114697 hasConceptScore W2169114697C203702658 @default.
- W2169114697 hasConceptScore W2169114697C27333817 @default.
- W2169114697 hasConceptScore W2169114697C2777044963 @default.
- W2169114697 hasConceptScore W2169114697C28642324 @default.
- W2169114697 hasConceptScore W2169114697C33923547 @default.
- W2169114697 hasConceptScore W2169114697C45962547 @default.
- W2169114697 hasConceptScore W2169114697C52703633 @default.
- W2169114697 hasConceptScore W2169114697C54732982 @default.
- W2169114697 hasConceptScore W2169114697C61445026 @default.
- W2169114697 hasIssue "4" @default.
- W2169114697 hasLocation W21691146971 @default.
- W2169114697 hasOpenAccess W2169114697 @default.
- W2169114697 hasPrimaryLocation W21691146971 @default.
- W2169114697 hasRelatedWork W1965533470 @default.
- W2169114697 hasRelatedWork W2068819515 @default.
- W2169114697 hasRelatedWork W2112808164 @default.
- W2169114697 hasRelatedWork W2169114697 @default.
- W2169114697 hasRelatedWork W2506139452 @default.
- W2169114697 hasRelatedWork W2771083884 @default.
- W2169114697 hasRelatedWork W2846516035 @default.
- W2169114697 hasRelatedWork W3035945792 @default.
- W2169114697 hasRelatedWork W4249864666 @default.
- W2169114697 hasRelatedWork W577496239 @default.
- W2169114697 hasVolume "54" @default.
- W2169114697 isParatext "false" @default.
- W2169114697 isRetracted "false" @default.
- W2169114697 magId "2169114697" @default.
- W2169114697 workType "article" @default.