El CRAI romandrà tancat del 24 de desembre de 2025 al 6 de gener de 2026. La validació de documents es reprendrà a partir del 7 de gener de 2026.
El CRAI permanecerá cerrado del 24 de diciembre de 2025 al 6 de enero de 2026. La validación de documentos se reanudará a partir del 7 de enero de 2026.
From 2025-12-24 to 2026-01-06, the CRAI remain closed and the documents will be validated from 2026-01-07.
 
Miniatura

Fitxers

TFM_Kurtzhals Miriam.pdf (653.59 KB)

Tipus de document

Treball de fi de màster

Data de publicació

2024-07

Llicència de publicació

cc by-nc-nd (c) Kurtzhals, 2024
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/214663

Epimorphism Surjectivity in Logic and Algebra

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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)

Descripció

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

Matèries

Lògica, Àlgebra universal, Categories (Matemàtica), Treballs de fi de màster

Matèries (anglès)

Logic, Universal algebra, Categories (Mathematics), Master's thesis

Citació

Col·leccions

Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Citació

KURTZHALS, Miriam. Epimorphism Surjectivity in Logic and Algebra. [consulta: 30 de desembre de 2025]. [Disponible a: https://hdl.handle.net/2445/214663]

Exportar metadades

JSON - METS

Compartir registre