Moraschini, TommasoHorčík, RostislavLiberal Grana, Ion Mikel2024-09-192024-09-192024-09https://hdl.handle.net/2445/215302Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini i Rostislav HorcikIn 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.x p.application/pdfengcc by-nc-nd (c) autor, 202xhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/Lògica matemàticaVarietats algebraiquesTreballs de fi de màsterMathematical logicAlgebraic varietiesMaster's thesisinfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccess