Epic substructures and primitive positive functions
Logic
2016-07-13 v1
Abstract
For first order structures in a class , say that is an epic substructure of in if for every and all homomorphisms , if and agree on , then . We prove that is an epic substructure of in a class closed under ultraproducts if and only if generates via operations definable in with primitive positive formulas. Applying this result we show that a quasivariety of algebras with an -ary near-unanimity term has surjective epimorphisms if and only if has surjective epimorphisms. It follows that if is a finite set of finite algebras with a common near-unanimity term, then it is decidable whether the (quasi)variety generated by has surjective epimorphisms.
Keywords
Cite
@article{arxiv.1607.03139,
title = {Epic substructures and primitive positive functions},
author = {Miguel Campercholi},
journal= {arXiv preprint arXiv:1607.03139},
year = {2016}
}
Comments
11 pages, 1 figure