Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/214663
Title: | Epimorphism Surjectivity in Logic and Algebra |
Author: | Kurtzhals, Miriam |
Director/Tutor: | Moraschini, Tommaso Carai, Luca |
Keywords: | Lògica Àlgebra universal Categories (Matemàtica) Treballs de fi de màster Logic Universal algebra Categories (Mathematics) Master's thesis |
Issue Date: | Jul-2024 |
Abstract: | As the theorems we aim to prove require a variety of tools and background theory, we will start by recalling some basics of first-order logic (Section 2.1), model theory (Section 2.2), and universal algebra (Section 2.3). We will then continue presenting the protagonist of this thesis, the epimorphism surjectivity property, and making some easy but useful observations concerning this property (Section 2.4). Finally, we will establish a correspondence between the (weak) ES property in algebra and the (finite) Beth definability property in logic, providing motivation for the study of the ES property from a logical standpoint (Section 2.5) |
Note: | Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Luca Carai and Tommaso Moraschini |
URI: | http://hdl.handle.net/2445/214663 |
Appears in Collections: | Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
TFM_Kurtzhals Miriam.pdf | 653.59 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License