solidot新版网站常见问题,请点击这里查看。

Generalizations of Laver tables. (arXiv:1812.02761v1 [math.LO])

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.查看全文

Solidot 文章翻译

你的名字

留空匿名提交
你的Email或网站

用户可以联系你
标题

简单描述
内容