𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bare canonicity of representable cylindric and polyadic algebras

✍ Scribed by Bulian, Jannis; Hodkinson, Ian

Book ID
121457055
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
466 KB
Volume
164
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Polyadic and cylindric algebras of sente
Polyadic and cylindric algebras of sentences
✍ Mohamed Amer; Tarek Sayed Ahmed πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 114 KB

## Abstract In this note we give an interpretation of cylindric algebras as algebras of sentences (rather than formulas) of first order logic. We show that the isomorphism types of such algebras of sentences coincide with the class of neat reducts of cylindric algebras. Also we show how this interp

A note on substitutions in representable
A note on substitutions in representable cylindric algebras
✍ Tarek Sayed Ahmed πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 121 KB πŸ‘ 1 views

## Abstract We show that it is impossible to define a substitution operator for arbitrary representable cylindric algebras that agrees in its basic properties with the notion of substitutions introduced for dimension complemented algebras (Β© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)