Ehrenfeucht
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
A New Ehrenfeucht-Fra\"iss\'e Game for Dependence Logic
Announce Type: cross Abstract: We define a new Ehrenfeucht-Fra\"iss\'e game for dependence logic. The previously known rendition of such a game was based on moves that are teams. Since teams can be massive, making team moves may be quite complicated.
Irreducibility of Semigroup Morphisms
arXiv:2603.15177v2 Announce Type: replace Abstract: We introduce and study the notion of irreducibility of semigroup morphisms over a finite alphabet. Given an alphabet $\Sigma$, a morphism $\varphi:\Sigma^+\rightarrow\Sigma^+$ is irreducible if any factorisation $\varphi=\psi_2\circ\psi_1$ can only be satisfied if $\psi_1$ or $\psi_2$ is a trivial morphism; otherwise, $\varphi$ is reducible. This definition provides a notion of primality in the endomorphism monoid of the free semigroup -- a...