Logics to which the class of neat reducts is sensitive to release_o5zaskr2dnefjpcqmmvpiivdui

by Tarek Sayed Ahmed

Released as a article .

(2013)

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_ω,ω, 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.
In text/plain format

Archived Files and Locations

application/pdf  89.8 kB
file_htl3qqpa4nfejbgooaxj7ycb2a
archive.org (archive)
Read Archived PDF
Archived
Type  article
Stage   submitted
Date   2013-04-09
Version   v1
Language   en ?
arXiv  1304.2931v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d828c0c5-db98-4b26-b2f9-6d0c8a59a056
API URL: JSON