查韦斯·罗德里格斯，玛丽亚·欧内斯特尼亚;安吉尔·洛佩斯·戈麦斯 编织逻辑：最简单的模型。 （英语） Zbl 0976.03038号 国际J.理论。物理学。 40，第1期，95-103（2001）. 根据定义，编织逻辑是包含Artin编织公理的等式逻辑（一种带有公理的语言）。一种语言被定义为从一类字母到一类自由操纵词（克隆、术语代数、单词操纵词等）的函子。\（0\）细胞的集合\（G_0\）是由单胞\（0\）细胞产生的自由单胚。G_1中的（1）-细胞模型是函子或具体运算。G_2中的（2）-细胞模型是函子的自然变换。通过嫁接衍生的（1）-细胞的自由操作产生了（1）细胞的字母表，并且（G_2）的（2）-细胞字母表扩展到嫁接的（1”-细胞中的（2”-细胞。如果（1）-细胞的对应字母表正好由两个字母组成，则称（2）-细胞（f\in\text{nat}（\alpha，\beta）\）为类型\（（\alfa，\beta）\。抽象运算（f\in\text{nat}（\alpha，\beta））的模型是一个类型为（（\alfa，\beta）（简而言之）-gebra）的gebra，即一对（（A，fA），由一个对象（A\）和一个（1\）-态射（fA:\alpha-A\ to \beta-A\）（A\上的一个值运算）组成。给定类型的所有gebras家族都是一个（alpha，beta）范畴。（alpha，text{id}）-gebras，（（text{id{，gamma）-ge bras，和（tau，tau）-ge Bras的范畴是等价的，其中G_1中的（text{id=}）是某个恒等元。本文研究了（tau，tau）型范畴中“编织”gebras的方程类，作为（alpha，text{id}）型经典方程类的可能替代。主要结果是证明了在一个二元集上有43个Artin辫子公理模型\[（\text{id}\times\sigma）\circ\]在256个可能的类型\（（2\mapsto 2）\）的操作中。审核人：H.-J.Vogel（波茨坦） 理学硕士： 03C05号机组 模型理论中的方程类、泛代数 08C05号机组 代数的范畴 05C20号 有向图（有向图），比赛 18A23型 自然形态，非自然形态 03G30型 分类逻辑，拓扑 18B99型 特殊类别 关键词：等效类别;\（i）-电池;图的嫁接;\（k）-基本操作;最小关系;编织逻辑;等式逻辑;Artin辫子公理;自由操作数;蛤蟆;方程式类 PDF格式BibTeX公司 XML格式引用 \textit{M.E.查韦斯·罗德里格斯}和\textit{A.López Gómez}，国际期刊Theor。物理学。40，第1号，95--103（2001；Zbl 0976.03038） 全文： 内政部