置换代数的泛函表示
Functional representation of substitution algebras
摘要：
我们证明了一类可表示的替换代数的特征在于一组通用的一阶句子。此外，还证明了置换代数可表示的一个充要条件是它可嵌入到元素有区别的置换代数中。此外，在整洁的嵌入条件被证明是等同于可表示性。
英文摘要：
We show that the class of representable substitution algebras is characterized by a set of universal first order sentences. In addition, it is shown that a necessary and sufficient condition for a substitution algebra to be representable is that it is embeddable in a substitution algebra in which elements are distinguished. Furthermore, conditions in terms of neat embeddings are shown to be equivalent to representability.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
