FRINK Linked Data Fragments server

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

• W2762861458 abstract "Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique solutions of equations using the operations of union and addition $S+T=makeset{m+n}{m in S, : n in T}$ and with ultimately periodic constants is exactly the class of hyper-arithmetical sets. Equations using addition only can represent every hyper-arithmetical set under a simple encoding. All hyper-arithmetical sets can also be represented by equations over sets of natural numbers equipped with union, addition and subtraction $S dotminus T=makeset{m-n}{m in S, : n in T, : m geqslant n}$. Testing whether a given system has a solution is $Sigma^1_1$-complete for each model. These results, in particular, settle the expressive power of the most general types of language equations, as well as equations over subsets of free groups." @default.
• W2762861458 created "2017-10-20" @default.
• W2762861458 creator A5005683089 @default.
• W2762861458 creator A5066525178 @default.
• W2762861458 date "2010-01-17" @default.
• W2762861458 modified "2023-10-11" @default.
• W2762861458 title "On equations over sets of integers" @default.
• W2762861458 cites W1480007921 @default.
• W2762861458 cites W1510299134 @default.
• W2762861458 cites W1512779672 @default.
• W2762861458 cites W1523067754 @default.
• W2762861458 cites W1560143702 @default.
• W2762861458 cites W1562283895 @default.
• W2762861458 cites W1591825827 @default.
• W2762861458 cites W1911379864 @default.
• W2762861458 cites W1969682671 @default.
• W2762861458 cites W1980102547 @default.
• W2762861458 cites W1990151088 @default.
• W2762861458 cites W1997037354 @default.
• W2762861458 cites W2000118875 @default.
• W2762861458 cites W2002328599 @default.
• W2762861458 cites W2005335312 @default.
• W2762861458 cites W2060846991 @default.
• W2762861458 cites W2069547077 @default.
• W2762861458 cites W2070863577 @default.
• W2762861458 cites W2117541535 @default.
• W2762861458 cites W2117832390 @default.
• W2762861458 cites W2121244661 @default.
• W2762861458 cites W2135734455 @default.
• W2762861458 cites W2142842287 @default.
• W2762861458 cites W2154949534 @default.
• W2762861458 cites W2185277039 @default.
• W2762861458 cites W2765659955 @default.
• W2762861458 cites W3145062246 @default.
• W2762861458 hasPublicationYear "2010" @default.
• W2762861458 type Work @default.
• W2762861458 sameAs 2762861458 @default.
• W2762861458 citedByCount "3" @default.
• W2762861458 countsByYear W27628614582014 @default.
• W2762861458 countsByYear W27628614582016 @default.
• W2762861458 crossrefType "journal-article" @default.
• W2762861458 hasAuthorship W2762861458A5005683089 @default.
• W2762861458 hasAuthorship W2762861458A5066525178 @default.
• W2762861458 hasBestOaLocation W27628614581 @default.
• W2762861458 hasConcept C112343008 @default.
• W2762861458 hasConcept C118615104 @default.
• W2762861458 hasConcept C134306372 @default.
• W2762861458 hasConcept C154945302 @default.
• W2762861458 hasConcept C170036204 @default.
• W2762861458 hasConcept C177264268 @default.
• W2762861458 hasConcept C184264201 @default.
• W2762861458 hasConcept C195818886 @default.
• W2762861458 hasConcept C199360897 @default.
• W2762861458 hasConcept C202444582 @default.
• W2762861458 hasConcept C2777212361 @default.
• W2762861458 hasConcept C33923547 @default.
• W2762861458 hasConcept C41008148 @default.
• W2762861458 hasConcept C68060419 @default.
• W2762861458 hasConcept C78045399 @default.
• W2762861458 hasConcept C80444323 @default.
• W2762861458 hasConcept C94375191 @default.
• W2762861458 hasConcept C94523830 @default.
• W2762861458 hasConceptScore W2762861458C112343008 @default.
• W2762861458 hasConceptScore W2762861458C118615104 @default.
• W2762861458 hasConceptScore W2762861458C134306372 @default.
• W2762861458 hasConceptScore W2762861458C154945302 @default.
• W2762861458 hasConceptScore W2762861458C170036204 @default.
• W2762861458 hasConceptScore W2762861458C177264268 @default.
• W2762861458 hasConceptScore W2762861458C184264201 @default.
• W2762861458 hasConceptScore W2762861458C195818886 @default.
• W2762861458 hasConceptScore W2762861458C199360897 @default.
• W2762861458 hasConceptScore W2762861458C202444582 @default.
• W2762861458 hasConceptScore W2762861458C2777212361 @default.
• W2762861458 hasConceptScore W2762861458C33923547 @default.
• W2762861458 hasConceptScore W2762861458C41008148 @default.
• W2762861458 hasConceptScore W2762861458C68060419 @default.
• W2762861458 hasConceptScore W2762861458C78045399 @default.
• W2762861458 hasConceptScore W2762861458C80444323 @default.
• W2762861458 hasConceptScore W2762861458C94375191 @default.
• W2762861458 hasConceptScore W2762861458C94523830 @default.
• W2762861458 hasLocation W27628614581 @default.
• W2762861458 hasLocation W27628614582 @default.
• W2762861458 hasOpenAccess W2762861458 @default.
• W2762861458 hasPrimaryLocation W27628614581 @default.
• W2762861458 hasRelatedWork W1480007921 @default.
• W2762861458 hasRelatedWork W179474592 @default.
• W2762861458 hasRelatedWork W1801096848 @default.
• W2762861458 hasRelatedWork W2000118875 @default.
• W2762861458 hasRelatedWork W2005335312 @default.
• W2762861458 hasRelatedWork W2064508306 @default.
• W2762861458 hasRelatedWork W2069547077 @default.
• W2762861458 hasRelatedWork W2106425029 @default.
• W2762861458 hasRelatedWork W2121842800 @default.
• W2762861458 hasRelatedWork W2135734455 @default.
• W2762861458 hasRelatedWork W2154949534 @default.
• W2762861458 hasRelatedWork W2185277039 @default.
• W2762861458 hasRelatedWork W2249273004 @default.
• W2762861458 hasRelatedWork W2311082201 @default.
• W2762861458 hasRelatedWork W2916944461 @default.
• W2762861458 hasRelatedWork W2950429534 @default.

• next