Chains of clonoids and word orderings

  • Florian Aichinger (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Description

The proof of the fact that there is no infinite descending chain of clonoids from a finite set into a finite algebra with Mal’cev-term (Aichinger, Mayr 2016) relies on the well quasi-orderedness of a certain set of words. Our goal is to provide short and self-contained proofs of the basic facts of this word ordering and to investigate whether these facts could possibly be used for determining whether there is no infinite antichain of such clonoids.
Period21 Feb 2020
Event titleAAA99 - 99th Workshop on General Algebra
Event typeConference
LocationItalyShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101 Mathematics
  • 102031 Theoretical computer science
  • 101005 Computer algebra

JKU Focus areas

  • Digital Transformation

Documents & Links

Related content