Term inequalities in finite algebras

Given an algebra \(\mathbf{A}\), and terms \(s(x_{1},x_{2},\dots x_{k})\) and \(t(x_{1},x_{2},\dots x_{k})\) of the language of \({\mathbf A}\), we say that \(s\) and \(t\) are {\em separated} in \({\mathbf A}\) iff for all \(a_{1},a_{2}\dots a_{k}\in A\), \(s(a_{1},a_{2},\dots a_{k})\) and \(t(a_{1...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2016-01
1. Verfasser:	Hobby, David
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!