Epimorphism Surjectivity in Logic and Algebra

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

Detalhes bibliográficos
Autor: Kurtzhals, Miriam
Formato: tesis de maestría
Fecha de publicación:2024
País:España
Recursos:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/214663
Acesso em linha:https://hdl.handle.net/2445/214663
Access Level:acceso abierto
Palavra-chave:Lògica
Àlgebra universal
Categories (Matemàtica)
Treballs de fi de màster
Logic
Universal algebra
Categories (Mathematics)
Master's thesis
id ES_7efebe3e40a3d1560ecab5bffce76451
oai_identifier_str oai:diposit.ub.edu:2445/214663
network_acronym_str ES
network_name_str España
repository_id_str
spelling Epimorphism Surjectivity in Logic and AlgebraKurtzhals, MiriamLògicaÀlgebra universalCategories (Matemàtica)Treballs de fi de màsterLogicUniversal algebraCategories (Mathematics)Master's thesisTreballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Luca Carai and Tommaso MoraschiniAs 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)Moraschini, TommasoCarai, Luca2024info:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/2445/214663Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicadareponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaIngléscc by-nc-nd (c) Kurtzhals, 2024http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/2146632026-05-27T06:46:51Z
dc.title.none.fl_str_mv Epimorphism Surjectivity in Logic and Algebra
title Epimorphism Surjectivity in Logic and Algebra
spellingShingle Epimorphism Surjectivity in Logic and Algebra
Kurtzhals, Miriam
Lògica
Àlgebra universal
Categories (Matemàtica)
Treballs de fi de màster
Logic
Universal algebra
Categories (Mathematics)
Master's thesis
title_short Epimorphism Surjectivity in Logic and Algebra
title_full Epimorphism Surjectivity in Logic and Algebra
title_fullStr Epimorphism Surjectivity in Logic and Algebra
title_full_unstemmed Epimorphism Surjectivity in Logic and Algebra
title_sort Epimorphism Surjectivity in Logic and Algebra
dc.creator.none.fl_str_mv Kurtzhals, Miriam
author Kurtzhals, Miriam
author_facet Kurtzhals, Miriam
author_role author
dc.contributor.none.fl_str_mv Moraschini, Tommaso
Carai, Luca
dc.subject.none.fl_str_mv Lògica
Àlgebra universal
Categories (Matemàtica)
Treballs de fi de màster
Logic
Universal algebra
Categories (Mathematics)
Master's thesis
topic Lògica
Àlgebra universal
Categories (Matemàtica)
Treballs de fi de màster
Logic
Universal algebra
Categories (Mathematics)
Master's thesis
description 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
publishDate 2024
dc.date.none.fl_str_mv 2024
dc.type.none.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/214663
url https://hdl.handle.net/2445/214663
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv cc by-nc-nd (c) Kurtzhals, 2024
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv cc by-nc-nd (c) Kurtzhals, 2024
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411791504670720
score 15.812429

Registos relacionados