FRINK Linked Data Fragments server

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

• W2013191336 endingPage "209" @default.
• W2013191336 startingPage "149" @default.
• W2013191336 abstract "We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce and Schröder (who expanded the Boolean tradition with extra operators to handle algebras of binary relations). Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: for every natural number k there is an equation in E containing more than k distinct variables and all the operation symbols, if 2 < n < ω. A completely analogous statement holds for the case n ⩾ ω. This improves Monk's famous non-finitizability theorem for which we give here a simple proof. We prove analogous non-finitizability properties of the larger varieties SNrnCAn + k. We prove that the complementation-free (i.e. positive) subreducts of RCAn do not form a variety. We also investigate the reason for the above “non-finite axiomatizability” behaviour of RCAn. We look at all the possible reducts of RCAn and investigate which are finitely axiomatizable. We obtain several positive results in this direction. Finally, we summarize the results and remaining questions in a figure. We carry through the same programme for RPEAn and for RRA. By looking into the reducts we also investigate what other kinds of natural algebras of relations are possible with more positive behaviour than that of the well known ones. Our investigations have direct consequences for the logical properties of the n-variable fragment Ln of first order logic. The reason for this is that RCAn and RPEAn are the natural algebraic counterparts of Ln while the varieties SNrnCAn + k are in connection with the proof theory of Ln. This paper appears in two parts. This is the first part, it contains the non-finite axiomatizability results. The second part contains finite axiomatizability results together with a figure summarizing the results in this area and the problems left open." @default.
• W2013191336 created "2016-06-24" @default.
• W2013191336 creator A5080876991 @default.
• W2013191336 date "1997-12-01" @default.
• W2013191336 modified "2023-09-25" @default.
• W2013191336 title "Complexity of equations valid in algebras of relations part I: Strong non-finitizability" @default.
• W2013191336 cites W1485170666 @default.
• W2013191336 cites W1487689712 @default.
• W2013191336 cites W160358036 @default.
• W2013191336 cites W194942576 @default.
• W2013191336 cites W1970138271 @default.
• W2013191336 cites W1970210230 @default.
• W2013191336 cites W1975692240 @default.
• W2013191336 cites W1983214992 @default.
• W2013191336 cites W1988376188 @default.
• W2013191336 cites W1988609263 @default.
• W2013191336 cites W1990768969 @default.
• W2013191336 cites W1991748341 @default.
• W2013191336 cites W1992205482 @default.
• W2013191336 cites W1993804761 @default.
• W2013191336 cites W1995221830 @default.
• W2013191336 cites W2005985369 @default.
• W2013191336 cites W2009619722 @default.
• W2013191336 cites W2014969671 @default.
• W2013191336 cites W2017085025 @default.
• W2013191336 cites W2018304344 @default.
• W2013191336 cites W2023426772 @default.
• W2013191336 cites W2023887522 @default.
• W2013191336 cites W2027612506 @default.
• W2013191336 cites W2030001795 @default.
• W2013191336 cites W2030879865 @default.
• W2013191336 cites W2032659576 @default.
• W2013191336 cites W2033274602 @default.
• W2013191336 cites W2035136089 @default.
• W2013191336 cites W2037264117 @default.
• W2013191336 cites W2041181261 @default.
• W2013191336 cites W2047136263 @default.
• W2013191336 cites W2050945221 @default.
• W2013191336 cites W2053510959 @default.
• W2013191336 cites W2054137194 @default.
• W2013191336 cites W2059078533 @default.
• W2013191336 cites W2062058882 @default.
• W2013191336 cites W2069709605 @default.
• W2013191336 cites W2070636184 @default.
• W2013191336 cites W2075770182 @default.
• W2013191336 cites W2082932658 @default.
• W2013191336 cites W2083301841 @default.
• W2013191336 cites W2090935441 @default.
• W2013191336 cites W2093709124 @default.
• W2013191336 cites W2108163838 @default.
• W2013191336 cites W2109655891 @default.
• W2013191336 cites W2112303653 @default.
• W2013191336 cites W2123058261 @default.
• W2013191336 cites W2154648038 @default.
• W2013191336 cites W2159867521 @default.
• W2013191336 cites W2164186482 @default.
• W2013191336 cites W2316726503 @default.
• W2013191336 cites W2318194046 @default.
• W2013191336 cites W2801752629 @default.
• W2013191336 cites W31834033 @default.
• W2013191336 cites W4230468975 @default.
• W2013191336 cites W4250033574 @default.
• W2013191336 cites W4250134220 @default.
• W2013191336 cites W4252113473 @default.
• W2013191336 cites W70873062 @default.
• W2013191336 cites W821856504 @default.
• W2013191336 cites W98043388 @default.
• W2013191336 doi "https://doi.org/10.1016/s0168-0072(97)00027-4" @default.
• W2013191336 hasPublicationYear "1997" @default.
• W2013191336 type Work @default.
• W2013191336 sameAs 2013191336 @default.
• W2013191336 citedByCount "37" @default.
• W2013191336 countsByYear W20131913362012 @default.
• W2013191336 countsByYear W20131913362013 @default.
• W2013191336 countsByYear W20131913362015 @default.
• W2013191336 countsByYear W20131913362016 @default.
• W2013191336 countsByYear W20131913362018 @default.
• W2013191336 countsByYear W20131913362020 @default.
• W2013191336 countsByYear W20131913362021 @default.
• W2013191336 countsByYear W20131913362022 @default.
• W2013191336 crossrefType "journal-article" @default.
• W2013191336 hasAuthorship W2013191336A5080876991 @default.
• W2013191336 hasConcept C105795698 @default.
• W2013191336 hasConcept C111472728 @default.
• W2013191336 hasConcept C118615104 @default.
• W2013191336 hasConcept C136119220 @default.
• W2013191336 hasConcept C136197465 @default.
• W2013191336 hasConcept C138885662 @default.
• W2013191336 hasConcept C166957645 @default.
• W2013191336 hasConcept C184264201 @default.
• W2013191336 hasConcept C185529760 @default.
• W2013191336 hasConcept C202444582 @default.
• W2013191336 hasConcept C2776608160 @default.
• W2013191336 hasConcept C2780586882 @default.
• W2013191336 hasConcept C33923547 @default.
• W2013191336 hasConcept C65180967 @default.
• W2013191336 hasConcept C95457728 @default.
• W2013191336 hasConceptScore W2013191336C105795698 @default.

• next