BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
1304.2931v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links