Miniatura

Fitxers

memoria.pdf (503.74 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2018-06-27

Llicència de publicació

cc-by-nc-nd (c) Clara Trullenque Ortiz, 2018
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/127682

Complete theories of boolean algebras

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[en] Boolean algebras are well-known mathematical structures. It is known that the theory of the class of these structures is incomplete, so the aim of this work is to present sistematically the different ways to complete it. In order to do this, we must also study the different kinds of Boolean algebras and their properties. Besides completeness, we also study other questions like ω-categoricity and quantifier elimination. The whole subject is studied in the formal language of first order logic.

Descripció

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Enrique Casanovas Ruiz-Fornells

Matèries

Àlgebra de Boole, Treballs de fi de grau, Lògica de primer ordre, Teoria de models, Teoria dels reticles

Matèries (anglès)

Boolean algebras, Bachelor's theses, First-order logic, Model theory, Lattice theory

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

TRULLENQUE ORTIZ, Clara. Complete theories of boolean algebras. [consulta: 23 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/127682]

Exportar metadades

JSON - METS

Compartir registre