Bare canonicity of representable cylindric and polyadic algebras

Details Bare canonicity of representable cylindric and polyadic algebras Bare canonicity of representable cylindric and polyadic algebras

2012-02-27

arxiv.org/abs/1202.5961v1

Mathematics

Logic

Scientific paper

We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an infinite number of non-canonical formulas. We also show that the class of structures for each of these varieties is non-elementary. The proofs employ algebras derived from random graphs.

Affiliated with

Also associated with

No associations

Rating

Bare canonicity of representable cylindric and polyadic algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Bare canonicity of representable cylindric and polyadic algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bare canonicity of representable cylindric and polyadic algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-263721