The Ordering of Commutative Terms

@inproceedings{Jezek2011TheOO,
  title={The Ordering of Commutative Terms},
  author={Jaroslav Jezek},
  year={2011}
}
By a commutative term we mean an element of the free commutative groupoid F of infinite rank. For two commutative terms a, b write a ≤ b if b contains a subterm that is a substitution instance of a. With respect to this relation, F is a quasiordered set which becomes an ordered set after the appropriate factorization. We study definability in this ordered set. Among other thing, we prove that every commutative term (or its block in the factor) is a definable element. Consequently, the ordered… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-6 of 6 references

The lattice of equational theories

  • J. Ježek
  • Part I: Modular elements. Czechoslovak Math. J…
  • 1981
Highly Influential
9 Excerpts

The lattice of equational theories. Part II: The lattice of full sets of terms

  • J. Ježek
  • Czechoslovak Math. J. 31,
  • 1981
Highly Influential
7 Excerpts

The lattice of equational theories. Part IV: Equational theories of finite algebras

  • J. Ježek
  • Czechoslovak Math. J. 36,
  • 1986
2 Excerpts

The lattice of equational theories. Part III: Definability and automorphisms

  • J. Ježek
  • Czechoslovak Math. J. 32,
  • 1982
2 Excerpts

Similar Papers

Loading similar papers…