FRINK Linked Data Fragments server

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

• W2492557794 abstract "We give a simpler proof of a result of Hodkinson in the context of a blow and blur up construction argueing that the idea at heart is similar to that adopted by Andreka et all (5). The idea is to blow up a finite structure, replacing each 'colour or atom' by infinitely many, using blurs to represent the resulting term algebra, but the blurs are not enough to blur the structure of the finite structure in the complex algebra. Then, the latter cannot be representable due to a finite- infinite contradiction. This structure can be a finite clique in a graph or a finite relation al- gebra or a finite cylindric algebra. This theme gives example of weakly representable atom structures tthat are not strongly representable. This is the essence too of construction of Monk like-algebras, one constructs graphs with finite colouring (finitely many blurs), converging to one with infinitely many, so that the original algebra is also blurred at the complex algebra level, and the term algebra is completey representable, yielding a representation of its completion the complex algebra. A reverse of this process exists in the literature, it builds algebras with infinite blurs converging to one with finite blurs. This idea due to Hirsch and Hodkinson, uses probabilistic methods of Erdos to con- struct a sequence of graphs with infinite chromatic number one that is 2 colourable. This construction, which works for both relation and cylindric algebras, further shows that the class of strongly representable atom structures is not elementary. We will generalize such a result for any class of algebras between diagonal free algebras and polyadic alge- bras with and without equality, then we further discuss possibilities for the infinite dimensional case. Finally, we suggest a very plausible equivalence, and that is: If n > 2, is finite, and A ∈ CAn is countable and atomic, then CmAtA is repre- sentable if and only if A ∈ NrnCA!. We could prove one side." @default.
• W2492557794 created "2016-08-23" @default.
• W2492557794 creator A5014040531 @default.
• W2492557794 date "2013-04-25" @default.
• W2492557794 modified "2023-09-27" @default.
• W2492557794 title "Strongly representable algebras" @default.
• W2492557794 cites W1983678101 @default.
• W2492557794 cites W1989225341 @default.
• W2492557794 cites W2031667755 @default.
• W2492557794 cites W2039637520 @default.
• W2492557794 cites W2068899664 @default.
• W2492557794 cites W2109696340 @default.
• W2492557794 cites W2607732012 @default.
• W2492557794 hasPublicationYear "2013" @default.
• W2492557794 type Work @default.
• W2492557794 sameAs 2492557794 @default.
• W2492557794 citedByCount "0" @default.
• W2492557794 crossrefType "posted-content" @default.
• W2492557794 hasAuthorship W2492557794A5014040531 @default.
• W2492557794 hasConcept C136119220 @default.
• W2492557794 hasConcept C202444582 @default.
• W2492557794 hasConcept C33923547 @default.
• W2492557794 hasConceptScore W2492557794C136119220 @default.
• W2492557794 hasConceptScore W2492557794C202444582 @default.
• W2492557794 hasConceptScore W2492557794C33923547 @default.
• W2492557794 hasLocation W24925577941 @default.
• W2492557794 hasOpenAccess W2492557794 @default.
• W2492557794 hasPrimaryLocation W24925577941 @default.
• W2492557794 hasRelatedWork W1527131181 @default.
• W2492557794 hasRelatedWork W1590540421 @default.
• W2492557794 hasRelatedWork W181692858 @default.
• W2492557794 hasRelatedWork W1920447799 @default.
• W2492557794 hasRelatedWork W1988754305 @default.
• W2492557794 hasRelatedWork W2001545986 @default.
• W2492557794 hasRelatedWork W2005100072 @default.
• W2492557794 hasRelatedWork W2042140127 @default.
• W2492557794 hasRelatedWork W2138323599 @default.
• W2492557794 hasRelatedWork W2160776691 @default.
• W2492557794 hasRelatedWork W2264318467 @default.
• W2492557794 hasRelatedWork W2312251200 @default.
• W2492557794 hasRelatedWork W2326719916 @default.
• W2492557794 hasRelatedWork W2472157084 @default.
• W2492557794 hasRelatedWork W2480586747 @default.
• W2492557794 hasRelatedWork W2795947535 @default.
• W2492557794 hasRelatedWork W2950161152 @default.
• W2492557794 hasRelatedWork W2963301680 @default.
• W2492557794 hasRelatedWork W3120170916 @default.
• W2492557794 hasRelatedWork W2575222808 @default.
• W2492557794 isParatext "false" @default.
• W2492557794 isRetracted "false" @default.
• W2492557794 magId "2492557794" @default.
• W2492557794 workType "article" @default.