El Dipòsit Digital ha actualitzat el programari. Contacteu amb dipositdigital@ub.edu per informar de qualsevol incidència.

 
Miniatura

Fitxers

TFM_ Liberal_Ion Mikel.pdf (350.6 KB)

Tipus de document

Treball de fi de màster

Data de publicació

2024-09

Llicència de publicació

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

Reiterman‘s theorem for pseudovarieties

Títol de la revista

Autors

ISSN de la revista

Títol del volum

Resum

In this thesis we will restrict our attention only to classes of finite algebras. Besides the inherent motivation in studying finite algebras, they appear and are used in many other fields. For example, finite semigroups and monoids are very useful in the theory of au tomata and rational languages (see [22] and [9]). In particular, the classes considered in this context have some special properties, namely, they are closed under homomorphic images, under subsemigoups and under finite products. This motivates the general definition of a pseudovariety, which is a class of finite algebras closed under homomorphic images, under subalgebras and under finite products.

Descripció

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini i Rostislav Horcik

Matèries

Lògica matemàtica, Varietats algebraiques, Treballs de fi de màster

Matèries (anglès)

Mathematical logic, Algebraic varieties, Master's thesis

Citació

Col·leccions

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

Citació

LIBERAL GRANA, Ion mikel. Reiterman‘s theorem for pseudovarieties. [consulta: 28 de novembre de 2025]. [Disponible a: https://hdl.handle.net/2445/215302]

Exportar metadades

JSON - METS

Compartir registre