On terms describing omitting types 1 and 2 - an improved version
Logic
2012-07-19 v6 Rings and Algebras
Abstract
In this paper we examine the possibility of describing omitting types 1 and 2 by two at most ternary terms and any number of linear identities. All possible cases of systems of linear identities on two at most ternary terms are being analyzed, and it is shown that only a single one of these systems might describe omitting types 1 and 2. However, we do not resolve whether it actually describes omitting mentioned types, but only prove that it implies this property, so this question is left for further examination.
Cite
@article{arxiv.1207.0713,
title = {On terms describing omitting types 1 and 2 - an improved version},
author = {Jelena Jovanović},
journal= {arXiv preprint arXiv:1207.0713},
year = {2012}
}
Comments
arXiv admin note: text overlap with arXiv:1201.2530