✦ LIBER ✦
Weakly representable atom structures that are not strongly representable, with an application to first order logic
✍ Scribed by Tarek Sayed Ahmed
- Publisher
- John Wiley and Sons
- Year
- 2008
- Tongue
- English
- Weight
- 173 KB
- Volume
- 54
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
Let__n__ > 2. A weakly representable relation algebra that is not strongly representable is constructed. It is proved that the set of all n by n basic matrices forms a cylindric basis that is also a weakly but not a strongly representable atom structure. This gives an example of a binary generated atomic representable cylindric algebra with no complete representation. An application to first order logic is given. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)