Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556269025> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1556269025 endingPage "201" @default.
- W1556269025 startingPage "191" @default.
- W1556269025 abstract "The fixed-point form of Kleene's recursion theorem asserts that for every recursive function f : ω→ ω, there exists an e ∈ ω with We = Wfe. This chapter discusses the results about the Turing degrees of functions that are fixed-point free (FPF) in the sense that We≠ Wfe for all e ∈ ω. This is easily seen to coincide with the class of degrees of all functions, g, which are diagonally nonrecursive (DNR). The chapter reviews the studies on the degrees of functions whose nonrecursiveness is ensured by the diagonal method. The degrees of the recursively bounded DNR functions coincide with the degrees of the effectively immune, nonhyperimmune sets." @default.
- W1556269025 created "2016-06-24" @default.
- W1556269025 creator A5008417331 @default.
- W1556269025 date "1989-01-01" @default.
- W1556269025 modified "2023-10-17" @default.
- W1556269025 title "Degrees of Functions with no Fixed Points" @default.
- W1556269025 cites W10794601 @default.
- W1556269025 cites W1976647442 @default.
- W1556269025 cites W2010997439 @default.
- W1556269025 cites W2073189693 @default.
- W1556269025 cites W2083623332 @default.
- W1556269025 cites W4231202900 @default.
- W1556269025 cites W4246804796 @default.
- W1556269025 doi "https://doi.org/10.1016/s0049-237x(08)70045-4" @default.
- W1556269025 hasPublicationYear "1989" @default.
- W1556269025 type Work @default.
- W1556269025 sameAs 1556269025 @default.
- W1556269025 citedByCount "38" @default.
- W1556269025 countsByYear W15562690252014 @default.
- W1556269025 countsByYear W15562690252015 @default.
- W1556269025 countsByYear W15562690252016 @default.
- W1556269025 countsByYear W15562690252017 @default.
- W1556269025 countsByYear W15562690252019 @default.
- W1556269025 countsByYear W15562690252021 @default.
- W1556269025 countsByYear W15562690252022 @default.
- W1556269025 crossrefType "book-chapter" @default.
- W1556269025 hasAuthorship W1556269025A5008417331 @default.
- W1556269025 hasConcept C11413529 @default.
- W1556269025 hasConcept C118615104 @default.
- W1556269025 hasConcept C130367717 @default.
- W1556269025 hasConcept C134306372 @default.
- W1556269025 hasConcept C154945302 @default.
- W1556269025 hasConcept C168773036 @default.
- W1556269025 hasConcept C199360897 @default.
- W1556269025 hasConcept C202444582 @default.
- W1556269025 hasConcept C2524010 @default.
- W1556269025 hasConcept C2777212361 @default.
- W1556269025 hasConcept C2982939207 @default.
- W1556269025 hasConcept C33923547 @default.
- W1556269025 hasConcept C34388435 @default.
- W1556269025 hasConcept C41008148 @default.
- W1556269025 hasConcept C61445026 @default.
- W1556269025 hasConcept C9870796 @default.
- W1556269025 hasConceptScore W1556269025C11413529 @default.
- W1556269025 hasConceptScore W1556269025C118615104 @default.
- W1556269025 hasConceptScore W1556269025C130367717 @default.
- W1556269025 hasConceptScore W1556269025C134306372 @default.
- W1556269025 hasConceptScore W1556269025C154945302 @default.
- W1556269025 hasConceptScore W1556269025C168773036 @default.
- W1556269025 hasConceptScore W1556269025C199360897 @default.
- W1556269025 hasConceptScore W1556269025C202444582 @default.
- W1556269025 hasConceptScore W1556269025C2524010 @default.
- W1556269025 hasConceptScore W1556269025C2777212361 @default.
- W1556269025 hasConceptScore W1556269025C2982939207 @default.
- W1556269025 hasConceptScore W1556269025C33923547 @default.
- W1556269025 hasConceptScore W1556269025C34388435 @default.
- W1556269025 hasConceptScore W1556269025C41008148 @default.
- W1556269025 hasConceptScore W1556269025C61445026 @default.
- W1556269025 hasConceptScore W1556269025C9870796 @default.
- W1556269025 hasLocation W15562690251 @default.
- W1556269025 hasOpenAccess W1556269025 @default.
- W1556269025 hasPrimaryLocation W15562690251 @default.
- W1556269025 hasRelatedWork W1578002326 @default.
- W1556269025 hasRelatedWork W1589207578 @default.
- W1556269025 hasRelatedWork W1966831029 @default.
- W1556269025 hasRelatedWork W1976387466 @default.
- W1556269025 hasRelatedWork W2015596941 @default.
- W1556269025 hasRelatedWork W2027425687 @default.
- W1556269025 hasRelatedWork W2136053165 @default.
- W1556269025 hasRelatedWork W2325447115 @default.
- W1556269025 hasRelatedWork W2514111614 @default.
- W1556269025 hasRelatedWork W4249197406 @default.
- W1556269025 isParatext "false" @default.
- W1556269025 isRetracted "false" @default.
- W1556269025 magId "1556269025" @default.
- W1556269025 workType "book-chapter" @default.