Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

memoria.pdf (503.74 KB)

Document type

Bachelor thesis

Publication date

2018-06-27

Publication license

cc-by-nc-nd (c) Clara Trullenque Ortiz, 2018
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/127682

Complete theories of boolean algebras

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

[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.

Description

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

Subject

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

Subject (English)

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

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

TRULLENQUE ORTIZ, Clara. Complete theories of boolean algebras. [consulted: 18 of August of 2026]. Available at: https://hdl.handle.net/2445/127682

Export metadata

JSON - METS

Share record