English

Epic substructures and primitive positive functions

Logic 2016-07-13 v1

Abstract

For AB\mathbf{A}\leq\mathbf{B} first order structures in a class K\mathcal{K}, say that A\mathbf{A} is an epic substructure of B\mathbf{B} in K\mathcal{K} if for every CK\mathbf{C}\in\mathcal{K} and all homomorphisms g,g:BCg,g^{\prime}:\mathbf{B}\rightarrow\mathbf{C}, if gg and gg' agree on AA, then g=gg=g'. We prove that A\mathbf{A} is an epic substructure of B\mathbf{B} in a class K\mathcal{K} closed under ultraproducts if and only if AA generates B\mathbf{B} via operations definable in K\mathcal{K} with primitive positive formulas. Applying this result we show that a quasivariety of algebras Q\mathcal{Q} with an nn-ary near-unanimity term has surjective epimorphisms if and only if SPnPu(QRSI)\mathbb{SP}_{n}\mathbb{P}_{u}(\mathcal{Q}_{RSI}) has surjective epimorphisms. It follows that if F\mathcal{F} is a finite set of finite algebras with a common near-unanimity term, then it is decidable whether the (quasi)variety generated by F\mathcal{F} 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

R2 v1 2026-06-22T14:51:45.932Z