solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看12902次
Generalizations of Laver tables. (arXiv:1812.02761v1 [math.LO])
来源于:arXiv
We shall generalize the notion of a Laver table to algebras which may have
many generators, several fundamental operations, fundamental operations of
arity higher than 2, and to algebras where only some of the operations are
self-distributive or where the operations satisfy a generalized version of
self-distributivity. These algebras mimic the algebras of rank-into-rank
embeddings $\mathcal{E}_{\lambda}/\equiv^{\gamma}$ in the sense that
composition and the notion of a critical point make sense for these sorts of
algebras. 查看全文>>