MoL-2022-03: Simultaneous Substitution Algebras

MoL-2022-03: Peng, Zichen (2022) Simultaneous Substitution Algebras. [Pre-print]

[thumbnail of MoL-2022-03.text.pdf] Text
MoL-2022-03.text.pdf - Accepted Version

Download (573kB)


In this thesis we introduce simultaneous substitution algebras as an abstraction of simultaneous substitution operations on terms and on functions. The class of simultaneous substitution algebras is defined by a set of equations, and we prove that the equational theory generated by this set is decidable and complete with the class of term simultaneous substitution algebras and of polynomial simultaneous substitution algebras. We also prove that each simultaneous substitution algebra can be represented as a quotient of a function simultaneous substitution algebra, and each locally finite-dimensional one can be represented as a polynomial simultaneous substitution algebra. Relevant results in singular substitution algebras can be derived from the results in this thesis.

Item Type: Pre-print
Report Nr: MoL-2022-03
Series Name: Master of Logic Thesis (MoL) Series
Year: 2022
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 07 Apr 2022 14:20
Last Modified: 07 Apr 2022 14:20

Actions (login required)

View Item View Item