Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890683191> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2890683191 endingPage "1161" @default.
- W2890683191 startingPage "1151" @default.
- W2890683191 abstract "In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Among other things, we show that Arslanov's completeness criterion also holds for every precomplete numbering, and we discuss the relation with Visser's ADN theorem, as well as the uniformity or nonuniformity of the various fixed point theorems. Finally, we base numberings on partial combinatory algebras and prove a generalization of Ershov's theorem in this context." @default.
- W2890683191 created "2018-09-27" @default.
- W2890683191 creator A5016150987 @default.
- W2890683191 creator A5076144323 @default.
- W2890683191 date "2019-10-01" @default.
- W2890683191 modified "2023-10-09" @default.
- W2890683191 title "Fixed point theorems for precomplete numberings" @default.
- W2890683191 cites W1001019062 @default.
- W2890683191 cites W1486611887 @default.
- W2890683191 cites W159082583 @default.
- W2890683191 cites W1980790864 @default.
- W2890683191 cites W2007915800 @default.
- W2890683191 cites W2036869460 @default.
- W2890683191 cites W2057392475 @default.
- W2890683191 cites W2068423429 @default.
- W2890683191 cites W2118589925 @default.
- W2890683191 cites W2126544183 @default.
- W2890683191 cites W2798583139 @default.
- W2890683191 cites W2963179791 @default.
- W2890683191 cites W3100262075 @default.
- W2890683191 cites W4206210214 @default.
- W2890683191 cites W4230007549 @default.
- W2890683191 cites W4249864666 @default.
- W2890683191 doi "https://doi.org/10.1016/j.apal.2019.04.013" @default.
- W2890683191 hasPublicationYear "2019" @default.
- W2890683191 type Work @default.
- W2890683191 sameAs 2890683191 @default.
- W2890683191 citedByCount "8" @default.
- W2890683191 countsByYear W28906831912019 @default.
- W2890683191 countsByYear W28906831912020 @default.
- W2890683191 countsByYear W28906831912021 @default.
- W2890683191 countsByYear W28906831912022 @default.
- W2890683191 countsByYear W28906831912023 @default.
- W2890683191 crossrefType "journal-article" @default.
- W2890683191 hasAuthorship W2890683191A5016150987 @default.
- W2890683191 hasAuthorship W2890683191A5076144323 @default.
- W2890683191 hasBestOaLocation W28906831911 @default.
- W2890683191 hasConcept C11413529 @default.
- W2890683191 hasConcept C118615104 @default.
- W2890683191 hasConcept C134306372 @default.
- W2890683191 hasConcept C136119220 @default.
- W2890683191 hasConcept C151730666 @default.
- W2890683191 hasConcept C168773036 @default.
- W2890683191 hasConcept C17231256 @default.
- W2890683191 hasConcept C177148314 @default.
- W2890683191 hasConcept C191916993 @default.
- W2890683191 hasConcept C202444582 @default.
- W2890683191 hasConcept C2779343474 @default.
- W2890683191 hasConcept C33923547 @default.
- W2890683191 hasConcept C45962547 @default.
- W2890683191 hasConcept C86803240 @default.
- W2890683191 hasConceptScore W2890683191C11413529 @default.
- W2890683191 hasConceptScore W2890683191C118615104 @default.
- W2890683191 hasConceptScore W2890683191C134306372 @default.
- W2890683191 hasConceptScore W2890683191C136119220 @default.
- W2890683191 hasConceptScore W2890683191C151730666 @default.
- W2890683191 hasConceptScore W2890683191C168773036 @default.
- W2890683191 hasConceptScore W2890683191C17231256 @default.
- W2890683191 hasConceptScore W2890683191C177148314 @default.
- W2890683191 hasConceptScore W2890683191C191916993 @default.
- W2890683191 hasConceptScore W2890683191C202444582 @default.
- W2890683191 hasConceptScore W2890683191C2779343474 @default.
- W2890683191 hasConceptScore W2890683191C33923547 @default.
- W2890683191 hasConceptScore W2890683191C45962547 @default.
- W2890683191 hasConceptScore W2890683191C86803240 @default.
- W2890683191 hasIssue "10" @default.
- W2890683191 hasLocation W28906831911 @default.
- W2890683191 hasLocation W28906831912 @default.
- W2890683191 hasLocation W28906831913 @default.
- W2890683191 hasOpenAccess W2890683191 @default.
- W2890683191 hasPrimaryLocation W28906831911 @default.
- W2890683191 hasRelatedWork W1485272726 @default.
- W2890683191 hasRelatedWork W2005053760 @default.
- W2890683191 hasRelatedWork W2316187651 @default.
- W2890683191 hasRelatedWork W2339556925 @default.
- W2890683191 hasRelatedWork W2360169700 @default.
- W2890683191 hasRelatedWork W2364846444 @default.
- W2890683191 hasRelatedWork W2372287279 @default.
- W2890683191 hasRelatedWork W2380905223 @default.
- W2890683191 hasRelatedWork W4319083705 @default.
- W2890683191 hasRelatedWork W74604206 @default.
- W2890683191 hasVolume "170" @default.
- W2890683191 isParatext "false" @default.
- W2890683191 isRetracted "false" @default.
- W2890683191 magId "2890683191" @default.
- W2890683191 workType "article" @default.