pith. sign in

arxiv: 1304.2931 · v1 · pith:4PEAD67Xnew · submitted 2013-04-09 · 🧮 math.LO

Logics to which the class of neat reducts is sensitive to

classification 🧮 math.LO
keywords algebraclasssensitiveconjunctionselementarylogicsneatomega
0
0 comments X
read the original abstract

Let L be a quantifier predicate logic. Let K be a class of algebras. We say that K is sensitive to L, if there is an algebra in K, that is L interpretable into an another algebra, and this latter algebra is elementary equivalent to an algebra not in K. (In particular, if L is L_{\omega,\omega}, this means that K is not elementary). We show that the class of neat reducts of every dimension is sensitive to quantifier free predicate logics with infinitary conjunctions; for finite dimensions, we do not need infinite conjunctions.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.