Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230589130> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4230589130 endingPage "38" @default.
- W4230589130 startingPage "38" @default.
- W4230589130 abstract "In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras. He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations. He and Jónsson obtained some initial, positive results for special classes of abstract relation algebras. But Lyndon showed, in 1950, that in general the answer to Tarski's question is negative. Monk proved later that the answer remains negative even if one adjoins finitely many new axioms to Tarski's system. In this paper we describe a far-reaching generalization of the positive results of Jónsson and Tarski, as well as of some later, related results of Maddux. We construct a class of concrete models of Tarski's axioms—called coset relation algebras—that are very close in spirit to algebras of binary relations, but are built using systems of groups and cosets instead of elements of a base set. The models include all algebras of binary relations, and many non-representable relation algebras as well. We prove that every atomic relation algebra satisfying a certain measurability condition—a condition generalizing the conditions imposed by Jónsson and Tarski—is essentially isomorphic to a coset relation algebra. The theorem raises the possibility of providing a positive solution to Tarski's problem by using coset relation algebras instead of the standard algebras of binary relations." @default.
- W4230589130 created "2022-05-11" @default.
- W4230589130 creator A5073363662 @default.
- W4230589130 creator A5080876991 @default.
- W4230589130 date "2002-03-01" @default.
- W4230589130 modified "2023-10-14" @default.
- W4230589130 title "Groups and Algebras of Binary Relations" @default.
- W4230589130 doi "https://doi.org/10.2307/2687734" @default.
- W4230589130 hasPublicationYear "2002" @default.
- W4230589130 type Work @default.
- W4230589130 citedByCount "0" @default.
- W4230589130 crossrefType "journal-article" @default.
- W4230589130 hasAuthorship W4230589130A5073363662 @default.
- W4230589130 hasAuthorship W4230589130A5080876991 @default.
- W4230589130 hasConcept C10282146 @default.
- W4230589130 hasConcept C118615104 @default.
- W4230589130 hasConcept C134306372 @default.
- W4230589130 hasConcept C136119220 @default.
- W4230589130 hasConcept C14394260 @default.
- W4230589130 hasConcept C154945302 @default.
- W4230589130 hasConcept C167729594 @default.
- W4230589130 hasConcept C177148314 @default.
- W4230589130 hasConcept C185529760 @default.
- W4230589130 hasConcept C202444582 @default.
- W4230589130 hasConcept C203254541 @default.
- W4230589130 hasConcept C207764348 @default.
- W4230589130 hasConcept C2524010 @default.
- W4230589130 hasConcept C25343380 @default.
- W4230589130 hasConcept C2777212361 @default.
- W4230589130 hasConcept C33923547 @default.
- W4230589130 hasConcept C41008148 @default.
- W4230589130 hasConcept C518143113 @default.
- W4230589130 hasConcept C65180967 @default.
- W4230589130 hasConcept C77088390 @default.
- W4230589130 hasConcept C85307737 @default.
- W4230589130 hasConceptScore W4230589130C10282146 @default.
- W4230589130 hasConceptScore W4230589130C118615104 @default.
- W4230589130 hasConceptScore W4230589130C134306372 @default.
- W4230589130 hasConceptScore W4230589130C136119220 @default.
- W4230589130 hasConceptScore W4230589130C14394260 @default.
- W4230589130 hasConceptScore W4230589130C154945302 @default.
- W4230589130 hasConceptScore W4230589130C167729594 @default.
- W4230589130 hasConceptScore W4230589130C177148314 @default.
- W4230589130 hasConceptScore W4230589130C185529760 @default.
- W4230589130 hasConceptScore W4230589130C202444582 @default.
- W4230589130 hasConceptScore W4230589130C203254541 @default.
- W4230589130 hasConceptScore W4230589130C207764348 @default.
- W4230589130 hasConceptScore W4230589130C2524010 @default.
- W4230589130 hasConceptScore W4230589130C25343380 @default.
- W4230589130 hasConceptScore W4230589130C2777212361 @default.
- W4230589130 hasConceptScore W4230589130C33923547 @default.
- W4230589130 hasConceptScore W4230589130C41008148 @default.
- W4230589130 hasConceptScore W4230589130C518143113 @default.
- W4230589130 hasConceptScore W4230589130C65180967 @default.
- W4230589130 hasConceptScore W4230589130C77088390 @default.
- W4230589130 hasConceptScore W4230589130C85307737 @default.
- W4230589130 hasIssue "1" @default.
- W4230589130 hasLocation W42305891301 @default.
- W4230589130 hasOpenAccess W4230589130 @default.
- W4230589130 hasPrimaryLocation W42305891301 @default.
- W4230589130 hasRelatedWork W1998919726 @default.
- W4230589130 hasRelatedWork W2154302624 @default.
- W4230589130 hasRelatedWork W2171795611 @default.
- W4230589130 hasRelatedWork W2566427880 @default.
- W4230589130 hasRelatedWork W3037203475 @default.
- W4230589130 hasRelatedWork W3083029275 @default.
- W4230589130 hasRelatedWork W3098221917 @default.
- W4230589130 hasRelatedWork W4293082126 @default.
- W4230589130 hasRelatedWork W63408870 @default.
- W4230589130 hasRelatedWork W2151957823 @default.
- W4230589130 hasVolume "8" @default.
- W4230589130 isParatext "false" @default.
- W4230589130 isRetracted "false" @default.
- W4230589130 workType "article" @default.