FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991197958> ?p ?o ?g. }

• W1991197958 abstract "Let a be any function whose domain is the set N of all natural numbers. A subset B of Nprecompletes the sequence a if and only if for every partial recursive function (p.r.f.) b there is a recursive function f such that af extends ao and f [N-Dom 0] ebB. An object e in the range of a completes a if and only if a -I[{e}] precompletes a. The theory of completed sequences was introduced by A. I. Mal'cev as an abstraction of the theory of standard enumerations. In this paper several results are obtained by refining and extending his methods. It is shown that a sequence is precompleted (by some B) if and only if it has a certain effective fixed-point property. The completed sequences are characterized, up to a recursive permutation, as the composition Frp of an arbitrary function F defined on the p.r.f.'s with a fixed standard enumeration p of the p.r.f.'s. A similar characterization is given for the precompleted sequences. The standard sequences are characterized as the precompleted indexings which satisfy a simple uniformity condition. Several further properties of completed and precompleted sequences are presented, for example, if B precompletes a and S and Tare r.e. sets such that a f[a[S]] # Nand a '[a[T]] N, then B-(S U T) precompletes a. 1. Preliminaries. Let Ax, y [ ] be a recursive pairing function which is monotonic in each of its arguments, and let p and g denote the corresponding projection functions, A [x] and A [y], respectively. For any set Sc: N, {x I E S} is called the ith row of S and is denoted by St. The sequence Ai [St] is called the row sequence of S and is denoted by S*. A sequence is said to be recursively enumerable (r.e.) if and only if it is the row sequence of an r.e. set. Every partial function 0 will be identified with its graph { I +(x) is defined and equals y}; hence b*(i) = ot = {+(i)} when i E Dom b, and 0*(i) = oi = 0 otherwise. (Thus b is a p.r.f. if and only if 0* is an r.e. sequence of sets of cardinality less than two.) A p.r.f. b is called a selector for a set Sc N if and only if 0bcS and Dom b {i E N I Si =A 0 }. Note that if 8 is a partial function on N and b is a selector for Received by the editors January 30, 1970 and, in revised form, February 22, 1970. AMS 1969 subject classifications. Primary 0270; Secondary 0274." @default.
• W1991197958 created "2016-06-24" @default.
• W1991197958 creator A5041885995 @default.
• W1991197958 date "1972-01-01" @default.
• W1991197958 modified "2023-09-27" @default.
• W1991197958 title "Sequences having an effective fixed-point property" @default.
• W1991197958 cites W1963780006 @default.
• W1991197958 cites W2004007956 @default.
• W1991197958 cites W2010992244 @default.
• W1991197958 cites W2028774010 @default.
• W1991197958 cites W2035004935 @default.
• W1991197958 cites W2086326215 @default.
• W1991197958 cites W2530006810 @default.
• W1991197958 doi "https://doi.org/10.1090/s0002-9947-1972-0389560-4" @default.
• W1991197958 hasPublicationYear "1972" @default.
• W1991197958 type Work @default.
• W1991197958 sameAs 1991197958 @default.
• W1991197958 citedByCount "0" @default.
• W1991197958 crossrefType "journal-article" @default.
• W1991197958 hasAuthorship W1991197958A5041885995 @default.
• W1991197958 hasBestOaLocation W19911979581 @default.
• W1991197958 hasConcept C105720234 @default.
• W1991197958 hasConcept C111472728 @default.
• W1991197958 hasConcept C114614502 @default.
• W1991197958 hasConcept C118615104 @default.
• W1991197958 hasConcept C121332964 @default.
• W1991197958 hasConcept C134306372 @default.
• W1991197958 hasConcept C138885662 @default.
• W1991197958 hasConcept C14036430 @default.
• W1991197958 hasConcept C156340839 @default.
• W1991197958 hasConcept C182359184 @default.
• W1991197958 hasConcept C21308566 @default.
• W1991197958 hasConcept C24890656 @default.
• W1991197958 hasConcept C2778112365 @default.
• W1991197958 hasConcept C2780586882 @default.
• W1991197958 hasConcept C33923547 @default.
• W1991197958 hasConcept C36503486 @default.
• W1991197958 hasConcept C54355233 @default.
• W1991197958 hasConcept C61445026 @default.
• W1991197958 hasConcept C72169020 @default.
• W1991197958 hasConcept C78458016 @default.
• W1991197958 hasConcept C86803240 @default.
• W1991197958 hasConceptScore W1991197958C105720234 @default.
• W1991197958 hasConceptScore W1991197958C111472728 @default.
• W1991197958 hasConceptScore W1991197958C114614502 @default.
• W1991197958 hasConceptScore W1991197958C118615104 @default.
• W1991197958 hasConceptScore W1991197958C121332964 @default.
• W1991197958 hasConceptScore W1991197958C134306372 @default.
• W1991197958 hasConceptScore W1991197958C138885662 @default.
• W1991197958 hasConceptScore W1991197958C14036430 @default.
• W1991197958 hasConceptScore W1991197958C156340839 @default.
• W1991197958 hasConceptScore W1991197958C182359184 @default.
• W1991197958 hasConceptScore W1991197958C21308566 @default.
• W1991197958 hasConceptScore W1991197958C24890656 @default.
• W1991197958 hasConceptScore W1991197958C2778112365 @default.
• W1991197958 hasConceptScore W1991197958C2780586882 @default.
• W1991197958 hasConceptScore W1991197958C33923547 @default.
• W1991197958 hasConceptScore W1991197958C36503486 @default.
• W1991197958 hasConceptScore W1991197958C54355233 @default.
• W1991197958 hasConceptScore W1991197958C61445026 @default.
• W1991197958 hasConceptScore W1991197958C72169020 @default.
• W1991197958 hasConceptScore W1991197958C78458016 @default.
• W1991197958 hasConceptScore W1991197958C86803240 @default.
• W1991197958 hasLocation W19911979581 @default.
• W1991197958 hasOpenAccess W1991197958 @default.
• W1991197958 hasPrimaryLocation W19911979581 @default.
• W1991197958 hasRelatedWork W1577760642 @default.
• W1991197958 hasRelatedWork W1994038249 @default.
• W1991197958 hasRelatedWork W2025691719 @default.
• W1991197958 hasRelatedWork W2046684732 @default.
• W1991197958 hasRelatedWork W2047433509 @default.
• W1991197958 hasRelatedWork W2095056415 @default.
• W1991197958 hasRelatedWork W2109485082 @default.
• W1991197958 hasRelatedWork W2159168738 @default.
• W1991197958 hasRelatedWork W2252688562 @default.
• W1991197958 hasRelatedWork W2257973988 @default.
• W1991197958 hasRelatedWork W2329298098 @default.
• W1991197958 hasRelatedWork W2340102191 @default.
• W1991197958 hasRelatedWork W2345233221 @default.
• W1991197958 hasRelatedWork W2549734191 @default.
• W1991197958 hasRelatedWork W2616293382 @default.
• W1991197958 hasRelatedWork W2979950107 @default.
• W1991197958 hasRelatedWork W3128287706 @default.
• W1991197958 hasRelatedWork W3144460921 @default.
• W1991197958 hasRelatedWork W3210800660 @default.
• W1991197958 hasRelatedWork W2316806286 @default.
• W1991197958 isParatext "false" @default.
• W1991197958 isRetracted "false" @default.
• W1991197958 magId "1991197958" @default.
• W1991197958 workType "article" @default.