Clones de términos de una variable fija
Autores: Wattanatripop, Khwancheewa; Changphas, Thawhat
Idioma: Inglés
Editor: MDPI
Año: 2020
Acceso abierto
Artículo científico
2020
Clones de términos de una variable fija
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
álgebras
Términos
Variable
Clon many-sorted
Ley superasociativa
Hiper sustituciones
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 33
Citaciones: Sin citaciones
Sea un tipo de álgebras. Este documento introduce términos especiales de tipo llamados términos de una variable fija. Resulta que el conjunto de todos los términos de una variable fija de tipo forma el clon de muchos tipos que satisface la ley superasociativa como identidad, bajo las operaciones de superposición de muchos tipos. Además, basado en términos de una variable fija de tipo, se introducen y estudian las hipersustituciones de una variable fija y las identidades cerradas relacionadas con una variable fija y la variedad cerrada de una variable fija.
Descripción
Sea un tipo de álgebras. Este documento introduce términos especiales de tipo llamados términos de una variable fija. Resulta que el conjunto de todos los términos de una variable fija de tipo forma el clon de muchos tipos que satisface la ley superasociativa como identidad, bajo las operaciones de superposición de muchos tipos. Además, basado en términos de una variable fija de tipo, se introducen y estudian las hipersustituciones de una variable fija y las identidades cerradas relacionadas con una variable fija y la variedad cerrada de una variable fija.