Results 1 to 10 of about 290 (150)
Some of the next articles are maybe not open access.
Atom structures of cylindric algebras and relation algebras [PDF]
Annals of Pure and Applied Logic, 1997 In 1970, \textit{J. D. Monk} [Math. Nachr. 46, 47-55 (1970; Zbl 0182.32301)] proved that relation algebras and cylindric algebras have completions, and asked whether completions of representable algebras are representable. This paper shows the answer is ``no''.
Hodkinson, I, Hodkinson, Ian
openaire +4 more sources
Connections between Relation Algebras and Cylindric Algebras [PDF]
, 2015 We give an informal description of a recursive representability-preserving reduction of relation algebras to cylindric algebras.
Ian Hodkinson, Hodkinson, I
openaire +2 more sources
Terms in cylindric algebras [PDF]
Proceedings of the American Mathematical Society, 1973 A new algebraic treatment of terms within the framework of cylindric algebras.
Charles Pinter
openaire +2 more sources
Bulletin of the Section of Logic, 2021 Fix a finite ordinal \(n\geq 3\) and let \(\alpha\) be an arbitrary ordinal. Let \(\mathsf{CA}_n\) denote the class of cylindric algebras of dimension \(n\) and \(\sf RA\) denote the class of relation algebras.
Tarek Sayed Ahmed
doaj +1 more source
Complete Representations and Neat Embeddings
Bulletin of the Section of Logic, 2022 Let ...
Tarek Sayed Ahmed
doaj +1 more source
Cylindrical Algebraic Sub-Decompositions [PDF]
Mathematics in Computer Science, 2014 26 ...
David J. Wilson +3 more
openaire +2 more sources
Representable cylindric algebras
Annals of Pure and Applied Logic, 1986 This article is a continuation of an earlier one by the same authors [Lect. Notes Math. 883, 1-129 (1981; Zbl 0497.03025)]. It contains various sufficient conditions for representability of cylindric algebras; also three methods for constructing non-representable algebras are described.
Leon Henkin +2 more
openaire +2 more sources
Relation algebras with n-dimensional relational bases [PDF]
, 2000 Accepted ...
Hirsch, R, Hodkinson, I
core +1 more source
Strongly representable atom structures of relation algebras [PDF]
, 2002 Accepted ...
Hirsch, R, Hodkinson, I
core +1 more source