First-Order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier Depth (original) (raw)
Related papers
Strongly representable atom structures of relation algebras
Proceedings of the American Mathematical Society, 2001
The Review of Symbolic Logic, 2016
Representability is not decidable for finite relation algebras
Transactions of the American Mathematical Society, 1999
Finite Quantifier Hierarchies in Relational Algebras (Semenov A. L.; Soprunov S. F.)
Proceedings of the Steklov Institute of Mathematics, 2011
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability
Logical Foundations of Computer Science, 2021
MLQ, 2008
A corrected strategy for proving no finite variable axiomatisation exists for RRA
2021
1. Relation algebras Outline 1. Relation algebras; representations
2013
Decision problems for equational theories of relation algebras
Memoirs of the American Mathematical Society, 1997
Axiomatizability of positive algebras of binary relations
Algebra universalis, 2011
Weakly associative relation algebras hold the Key to the Universe
Bull. Sect. Log. Polish Academy of Sciences, 2007
Relevant logic and relation algebras
Lattice–Based Relation Algebras and Their Representability
Lecture Notes in Computer Science, 2003
Relation algebras with -dimensional relational bases
Annals of Pure and Applied Logic, 2000
Functionally dense relation algebras
Algebra universalis, 2012
Strongly representable atom structures and neat embeddings
The equational theory of union-free algebras of relations
Algebra Universalis, 1995
Relation algebras from cylindric algebras, II
Annals of Pure and Applied Logic, 2001
Axiomatizability of representable domain algebras
The Journal of Logic and Algebraic Programming, 2011
Expressibility of properties of relations
Finite algebras of relations are representable on finite sets
The Journal of Symbolic Logic, 1999
Computer aided investigations of relation algebras
1992
On the construction of explosive relation algebras
2020
On the equational theory of representable polyadic equality algebras (extended abstract)
Logic Journal of IGPL, 1998
Exploring Canonical Axiomatisations of Representable Cylindric Algebras
2011
Undecidability of representability as binary relations
The Journal of Symbolic Logic, 2012
Finite schematizable algebraic logic
Logic Journal of IGPL, 1997
Representability of small relation algebras and involutive FL-algebras
2007
Non-finite-axiomatizability results in algebraic logic
Journal of Symbolic Logic, 1992
Algebra Universalis, 1994
Relational lattices: From databases to universal algebra
Journal of Logical and Algebraic Methods in Programming, 2016
On the search for a finitizable algebraization of first order logic
Logic Journal of IGPL, 2000
Dynamic algebras as a well-behaved fragment of relation algebras
Lecture Notes in Computer Science, 1990
Lattice-Based Relation Algebras II
Lecture Notes in Computer Science, 2006