Corrigendum to: “Relation Algebra Reducts of Cylindric Algebras and Complete Representations”

2013 ◽  
Vol 78 (4) ◽  
pp. 1345-1346
Author(s):  
R. Hirsch
Keyword(s):  
Relation Algebra ◽  
Cylindric Algebras ◽  
Complete Representations

Relation algebra reducts of cylindric algebras and complete representations

2007 ◽  
Vol 72 (2) ◽  
pp. 673-703 ◽  
Author(s):  
Robin Hirsch
Keyword(s):  
Elementary Theory ◽  
Winning Strategy ◽  
Relation Algebra ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
Complete Representation ◽  
Recursively Enumerable ◽  
Complete Representations ◽  
Atomic Relation ◽  
Image Position

AbstractWe show, for any ordinal γ ≥ 3, that the class ℜaCAγ is pseudo-elementary and has a recursively enumerable elementary theory. ScK denotes the class of strong subalgebras of members of the class K. We devise games, Fn (3 ≤ n ≤ ω), G, H, and show, for an atomic relation algebra with countably many atoms, thatfor 3 ≤ n < ω. We use these games to show, for γ > 5 and any class K of relation algebras satisfyingthat K is not closed under subalgebras and is not elementary. For infinite γ, the inclusion ℜaCAγ ⊂ ScℜaCAγ is strict.For infinite γ and for a countable relation algebra we show that has a complete representation if and only if is atomic and ∃ has a winning strategy in F (At()) if and only if is atomic and ∈ ScℜaCAγ.

Relation algebra reducts of cylindric algebras and an application to proof theory

2002 ◽  
Vol 67 (1) ◽  
pp. 197-213 ◽  
Author(s):  
Robin Hirsch ◽  
Ian Hodkinson ◽  
Roger D. Maddux
Keyword(s):  
Proof Theory ◽  
Predicate Logic ◽  
Algebraic Logic ◽  
Relation Algebra ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
First Order ◽  
Order Language ◽  
Binary Relation Symbol ◽  
Made In

AbstractWe confirm a conjecture, about neat embeddings of cylindric algebras, made in 1969 by J. D. Monk, and a later conjecture by Maddux about relation algebras obtained from cylindric algebras. These results in algebraic logic have the following consequence for predicate logic: for every finite cardinal α ≥ 3 there is a logically valid sentence X, in a first-order language ℒ with equality and exactly one nonlogical binary relation symbol E, such that X contains only 3 variables (each of which may occur arbitrarily many times), X has a proof containing exactly α + 1 variables, but X has no proof containing only α variables. This solves a problem posed by Tarski and Givant in 1987.

Omitting types for finite variable fragments and complete representations of algebras

2008 ◽  
Vol 73 (1) ◽  
pp. 65-89 ◽  
Author(s):  
Hajnal Andréka ◽  
István Németi ◽  
Tarek Sayed Ahmed
Keyword(s):  
Algebraic Logic ◽  
Order Logic ◽  
First Order Logic ◽  
Cylindric Algebras ◽  
First Order ◽  
Complete Representations ◽  
Atomic Relation ◽  
Representations Of Algebras ◽  
Omitting Types ◽  
Binary Relation Symbol

AbstractWe give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order logic as long as the number of variables available is > 2 and we have a binary relation symbol in our language. We also prove a stronger result to the effect that there is no finite upper bound for the extra variables needed in the witness formulas. This result further emphasizes the ongoing interplay between algebraic logic and first order logic.

Step by step – Building representations in algebraic logic

1997 ◽  
Vol 62 (1) ◽  
pp. 225-279 ◽  
Author(s):  
Robin Hirsch ◽  
Ian Hodkinson
Keyword(s):  
Algebraic Logic ◽  
Relation Algebra ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
Step Method ◽  
Finite Case ◽  
Representable Relation Algebra ◽  
Important Open Problem ◽  
Player Game ◽  
Representable Relation

AbstractWe consider the problem of finding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterized according to the outcome of certain games. The Lyndon conditions defining representable relation algebras (for the finite case) and a similar schema for cylindric algebras are derived. Finte relation algebras with homogeneous representations are characterized by first order formulas. Equivalence games are defined, and are used to establish whether an algebra is ω-categorical. We have a simple proof that the perfect extension of a representable relation algebra is completely representable.An important open problem from algebraic logic is addressed by devising another two-player game, and using it to derive equational axiomatisations for the classes of all representable relation algebras and representable cylindric algebras.Other instances of this approach are looked at, and include the step by step method.

scholarly journals On complete representations and minimal completions in algebraic logic, both positive and negative results

2021 ◽  
Author(s):  
Tarek Sayed Ahmed
Keyword(s):  
Algebraic Logic ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
Polyadic Algebras ◽  
Negative Results ◽  
Complete Representations

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. Let \(\mathbf{PA}_{\alpha}(\mathsf{PEA}_{\alpha})\) stand for the class of polyadic (equality) algebras of dimension \(\alpha\). We reprove that the class \(\mathsf{CRCA}_n\) of completely representable \(\mathsf{CA}_n$s, and the class \(\sf CRRA\) of completely representable \(\mathsf{RA}\)s are not elementary, a result of Hirsch and Hodkinson. We extend this result to any variety \(\sf V\) between polyadic algebras of dimension \(n\) and diagonal free \(\mathsf{CA}_n\)s. We show that that the class of completely and strongly representable algebras in \(\sf V\) is not elementary either, reproving a result of Bulian and Hodkinson. For relation algebras, we can and will, go further. We show the class \(\sf CRRA\) is not closed under \(\equiv_{\infty,\omega}\). In contrast, we show that given \(\alpha\geq \omega\), and an atomic \(\mathfrak{A}\in \mathsf{PEA}_{\alpha}\), then for any \(n<\omega\), \(\mathfrak{Nr}_n\A\) is a completely representable \(\mathsf{PEA}_n\). We show that for any \(\alpha\geq \omega\), the class of completely representable algebras in certain reducts of \(\mathsf{PA}_{\alpha}\)s, that happen to be varieties, is elementary. We show that for \(\alpha\geq \omega\), the the class of polyadic-cylindric algebras dimension \(\alpha\), introduced by Ferenczi, the completely representable algebras (slightly altering representing algebras) coincide with the atomic ones. In the last algebras cylindrifications commute only one way, in a sense weaker than full fledged commutativity of cylindrifications enjoyed by classical cylindric and polyadic algebras. Finally, we address closure under Dedekind-MacNeille completions for cylindric-like algebras of dimension \(n\) and \(\mathsf{PA}_{\alpha}\)s for \(\alpha\) an infinite ordinal, proving negative results for the first and positive ones for the second.

Complete representations in algebraic logic

1997 ◽  
Vol 62 (3) ◽  
pp. 816-847 ◽  
Author(s):  
Robin Hirsch ◽  
Ian Hodkinson
Keyword(s):  
Boolean Algebra ◽  
Algebraic Logic ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
Fixed Dimension ◽  
Complete Representations ◽  
Representable Relation

AbstractA boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any fixed dimension (at least 3) are elementary.

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

2020 ◽  
Vol 89 ◽  
pp. 101467 ◽  
Author(s):  
Jelle Hellings ◽  
Marc Gyssens ◽  
Yuqing Wu ◽  
Dirk Van Gucht ◽  
Jan Van den Bussche ◽  
...  
Keyword(s):  
Transitive Closure ◽  
Relation Algebra

A completeness theorem for higher order logics

2000 ◽  
Vol 65 (2) ◽  
pp. 857-884 ◽  
Author(s):  
Gábor Sági
Keyword(s):  
Set Theory ◽  
Representation Theorem ◽  
Completeness Theorem ◽  
Higher Order ◽  
Algebraic Solution ◽  
Algebraic Proof ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
Strong Representation ◽  
Algebraic Counterpart

AbstractHere we investigate the classes of representable directed cylindric algebras of dimension α introduced by Németi [12]. can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, “purely cylindric algebraic” proof for the following theorems of Németi: (i) is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain a strong representation theorem for if one chooses an appropriate (non-well-founded) set theory as foundation of mathematics. These results provide a purely cylindric algebraic solution for the Finitization Problem (in the sense of [11]) in some non-well-founded set theories.

Sign in / Sign up

Export Citation Format

Share Document