Matches in SemOpenAlex for { <https://semopenalex.org/work/W2249273004> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2249273004 endingPage "86" @default.
- W2249273004 startingPage "68" @default.
- W2249273004 abstract "Systems of equations with sets of integers as unknowns are considered, with the operations of union, intersection and addition of sets, S+T={m+n|m∈S,n∈T}. These equations were recently studied by the authors (“Representing hyper-arithmetical sets by equations over sets of integers”, Theory of Computing Systems, 51 (2012), 196–228), and it was shown that the class of sets representable by their unique solutions is exactly the class of hyper-arithmetical sets. In this paper it is demonstrated that greatest solutions of such equations represent exactly the Σ11-sets in the analytical hierarchy, and all those sets can already be represented by systems in the resolved form Xi=φi(X1,…,Xn). Least solutions of such resolved systems represent exactly the recursively enumerable sets." @default.
- W2249273004 created "2016-06-24" @default.
- W2249273004 creator A5005683089 @default.
- W2249273004 creator A5066525178 @default.
- W2249273004 date "2016-03-01" @default.
- W2249273004 modified "2023-10-15" @default.
- W2249273004 title "Least and greatest solutions of equations over sets of integers" @default.
- W2249273004 cites W113648983 @default.
- W2249273004 cites W1480007921 @default.
- W2249273004 cites W1496259111 @default.
- W2249273004 cites W1512779672 @default.
- W2249273004 cites W1523067754 @default.
- W2249273004 cites W1990151088 @default.
- W2249273004 cites W2000118875 @default.
- W2249273004 cites W2005335312 @default.
- W2249273004 cites W2046213250 @default.
- W2249273004 cites W2046935329 @default.
- W2249273004 cites W2064508306 @default.
- W2249273004 cites W2069547077 @default.
- W2249273004 cites W2086162968 @default.
- W2249273004 cites W2117111784 @default.
- W2249273004 cites W2117541535 @default.
- W2249273004 cites W2117832390 @default.
- W2249273004 cites W2135734455 @default.
- W2249273004 cites W2154949534 @default.
- W2249273004 cites W2185277039 @default.
- W2249273004 cites W2486481314 @default.
- W2249273004 cites W2530006810 @default.
- W2249273004 cites W2762861458 @default.
- W2249273004 cites W2765659955 @default.
- W2249273004 cites W3101545656 @default.
- W2249273004 cites W3145062246 @default.
- W2249273004 cites W564848705 @default.
- W2249273004 cites W2476903355 @default.
- W2249273004 doi "https://doi.org/10.1016/j.tcs.2016.01.013" @default.
- W2249273004 hasPublicationYear "2016" @default.
- W2249273004 type Work @default.
- W2249273004 sameAs 2249273004 @default.
- W2249273004 citedByCount "0" @default.
- W2249273004 crossrefType "journal-article" @default.
- W2249273004 hasAuthorship W2249273004A5005683089 @default.
- W2249273004 hasAuthorship W2249273004A5066525178 @default.
- W2249273004 hasBestOaLocation W22492730041 @default.
- W2249273004 hasConcept C112343008 @default.
- W2249273004 hasConcept C114614502 @default.
- W2249273004 hasConcept C118615104 @default.
- W2249273004 hasConcept C127413603 @default.
- W2249273004 hasConcept C146978453 @default.
- W2249273004 hasConcept C154945302 @default.
- W2249273004 hasConcept C162324750 @default.
- W2249273004 hasConcept C203702658 @default.
- W2249273004 hasConcept C2777212361 @default.
- W2249273004 hasConcept C31170391 @default.
- W2249273004 hasConcept C33923547 @default.
- W2249273004 hasConcept C34447519 @default.
- W2249273004 hasConcept C41008148 @default.
- W2249273004 hasConcept C52703633 @default.
- W2249273004 hasConcept C64543145 @default.
- W2249273004 hasConceptScore W2249273004C112343008 @default.
- W2249273004 hasConceptScore W2249273004C114614502 @default.
- W2249273004 hasConceptScore W2249273004C118615104 @default.
- W2249273004 hasConceptScore W2249273004C127413603 @default.
- W2249273004 hasConceptScore W2249273004C146978453 @default.
- W2249273004 hasConceptScore W2249273004C154945302 @default.
- W2249273004 hasConceptScore W2249273004C162324750 @default.
- W2249273004 hasConceptScore W2249273004C203702658 @default.
- W2249273004 hasConceptScore W2249273004C2777212361 @default.
- W2249273004 hasConceptScore W2249273004C31170391 @default.
- W2249273004 hasConceptScore W2249273004C33923547 @default.
- W2249273004 hasConceptScore W2249273004C34447519 @default.
- W2249273004 hasConceptScore W2249273004C41008148 @default.
- W2249273004 hasConceptScore W2249273004C52703633 @default.
- W2249273004 hasConceptScore W2249273004C64543145 @default.
- W2249273004 hasFunder F4320321108 @default.
- W2249273004 hasFunder F4320322511 @default.
- W2249273004 hasLocation W22492730041 @default.
- W2249273004 hasOpenAccess W2249273004 @default.
- W2249273004 hasPrimaryLocation W22492730041 @default.
- W2249273004 hasRelatedWork W1973052363 @default.
- W2249273004 hasRelatedWork W1980641386 @default.
- W2249273004 hasRelatedWork W1992460182 @default.
- W2249273004 hasRelatedWork W2031689412 @default.
- W2249273004 hasRelatedWork W2037833610 @default.
- W2249273004 hasRelatedWork W2146755812 @default.
- W2249273004 hasRelatedWork W2184974172 @default.
- W2249273004 hasRelatedWork W2253584108 @default.
- W2249273004 hasRelatedWork W2322841324 @default.
- W2249273004 hasRelatedWork W4249600134 @default.
- W2249273004 hasVolume "619" @default.
- W2249273004 isParatext "false" @default.
- W2249273004 isRetracted "false" @default.
- W2249273004 magId "2249273004" @default.
- W2249273004 workType "article" @default.