Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160213265> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2160213265 endingPage "2182" @default.
- W2160213265 startingPage "2159" @default.
- W2160213265 abstract "The class $$mathsf{TPA}$$ of t rue p airing a lgebras is defined to be the class of relation algebras expanded with concrete set theoretical projection functions. The main results of the present paper is that neither the equational theory of $$mathsf{TPA}$$ nor the first order theory of $$mathsf{TPA}$$ are decidable. Moreover, we show that the set of all equations valid in $$mathsf{TPA}$$ is exactly on the $$Pi ^1_1$$ level. We consider the class $$mathsf{TPA}^-$$ of the relation algebra reducts of $$mathsf{TPA}$$ ’s, as well. We prove that the equational theory of $$mathsf{TPA}^-$$ is much simpler, namely, it is recursively enumerable. We also give motivation for our results and some connections to related work." @default.
- W2160213265 created "2016-06-24" @default.
- W2160213265 creator A5012636172 @default.
- W2160213265 creator A5049340770 @default.
- W2160213265 creator A5070907918 @default.
- W2160213265 date "2015-05-23" @default.
- W2160213265 modified "2023-09-26" @default.
- W2160213265 title "Complexity of equational theory of relational algebras with standard projection elements" @default.
- W2160213265 cites W1505776411 @default.
- W2160213265 cites W1512091184 @default.
- W2160213265 cites W1566809768 @default.
- W2160213265 cites W1966591210 @default.
- W2160213265 cites W1983214992 @default.
- W2160213265 cites W2005985369 @default.
- W2160213265 cites W2030879865 @default.
- W2160213265 cites W2054137194 @default.
- W2160213265 cites W2073070049 @default.
- W2160213265 cites W2077804346 @default.
- W2160213265 cites W2085309765 @default.
- W2160213265 cites W2101025460 @default.
- W2160213265 cites W2160776691 @default.
- W2160213265 cites W4211034768 @default.
- W2160213265 cites W4248503953 @default.
- W2160213265 cites W4250134220 @default.
- W2160213265 cites W4252113473 @default.
- W2160213265 cites W964793347 @default.
- W2160213265 doi "https://doi.org/10.1007/s11229-015-0689-1" @default.
- W2160213265 hasPublicationYear "2015" @default.
- W2160213265 type Work @default.
- W2160213265 sameAs 2160213265 @default.
- W2160213265 citedByCount "1" @default.
- W2160213265 countsByYear W21602132652020 @default.
- W2160213265 crossrefType "journal-article" @default.
- W2160213265 hasAuthorship W2160213265A5012636172 @default.
- W2160213265 hasAuthorship W2160213265A5049340770 @default.
- W2160213265 hasAuthorship W2160213265A5070907918 @default.
- W2160213265 hasBestOaLocation W21602132652 @default.
- W2160213265 hasConcept C10138342 @default.
- W2160213265 hasConcept C11413529 @default.
- W2160213265 hasConcept C114614502 @default.
- W2160213265 hasConcept C118615104 @default.
- W2160213265 hasConcept C136119220 @default.
- W2160213265 hasConcept C153269930 @default.
- W2160213265 hasConcept C154945302 @default.
- W2160213265 hasConcept C162324750 @default.
- W2160213265 hasConcept C177264268 @default.
- W2160213265 hasConcept C182306322 @default.
- W2160213265 hasConcept C199360897 @default.
- W2160213265 hasConcept C202444582 @default.
- W2160213265 hasConcept C203702658 @default.
- W2160213265 hasConcept C25343380 @default.
- W2160213265 hasConcept C2777212361 @default.
- W2160213265 hasConcept C33923547 @default.
- W2160213265 hasConcept C41008148 @default.
- W2160213265 hasConcept C57493831 @default.
- W2160213265 hasConcept C77088390 @default.
- W2160213265 hasConceptScore W2160213265C10138342 @default.
- W2160213265 hasConceptScore W2160213265C11413529 @default.
- W2160213265 hasConceptScore W2160213265C114614502 @default.
- W2160213265 hasConceptScore W2160213265C118615104 @default.
- W2160213265 hasConceptScore W2160213265C136119220 @default.
- W2160213265 hasConceptScore W2160213265C153269930 @default.
- W2160213265 hasConceptScore W2160213265C154945302 @default.
- W2160213265 hasConceptScore W2160213265C162324750 @default.
- W2160213265 hasConceptScore W2160213265C177264268 @default.
- W2160213265 hasConceptScore W2160213265C182306322 @default.
- W2160213265 hasConceptScore W2160213265C199360897 @default.
- W2160213265 hasConceptScore W2160213265C202444582 @default.
- W2160213265 hasConceptScore W2160213265C203702658 @default.
- W2160213265 hasConceptScore W2160213265C25343380 @default.
- W2160213265 hasConceptScore W2160213265C2777212361 @default.
- W2160213265 hasConceptScore W2160213265C33923547 @default.
- W2160213265 hasConceptScore W2160213265C41008148 @default.
- W2160213265 hasConceptScore W2160213265C57493831 @default.
- W2160213265 hasConceptScore W2160213265C77088390 @default.
- W2160213265 hasIssue "7" @default.
- W2160213265 hasLocation W21602132651 @default.
- W2160213265 hasLocation W21602132652 @default.
- W2160213265 hasOpenAccess W2160213265 @default.
- W2160213265 hasPrimaryLocation W21602132651 @default.
- W2160213265 hasRelatedWork W1814754318 @default.
- W2160213265 hasRelatedWork W1911615747 @default.
- W2160213265 hasRelatedWork W1966448964 @default.
- W2160213265 hasRelatedWork W2083461990 @default.
- W2160213265 hasRelatedWork W2109115134 @default.
- W2160213265 hasRelatedWork W2160213265 @default.
- W2160213265 hasRelatedWork W2348093013 @default.
- W2160213265 hasRelatedWork W4200384650 @default.
- W2160213265 hasRelatedWork W4367860461 @default.
- W2160213265 hasRelatedWork W2092944937 @default.
- W2160213265 hasVolume "192" @default.
- W2160213265 isParatext "false" @default.
- W2160213265 isRetracted "false" @default.
- W2160213265 magId "2160213265" @default.
- W2160213265 workType "article" @default.