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

Text
MoL-2022-03.text.pdf - Accepted Version Download (573kB) |

## Abstract

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 Mathematics |

Depositing User: | Dr Marco Vervoort |

Date Deposited: | 07 Apr 2022 14:20 |

Last Modified: | 07 Apr 2022 14:20 |

URI: | https://eprints.illc.uva.nl/id/eprint/1878 |

## Actions (login required)

View Item |