Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/127682| Title: | Complete theories of boolean algebras |
| Author: | Trullenque Ortiz, Clara |
| Director/Tutor: | Casanovas Ruiz-Fornells, Enrique |
| Keywords: | Àlgebra de Boole Treballs de fi de grau Lògica de primer ordre Teoria de models Teoria dels reticles Boolean algebras Bachelor's theses First-order logic Model theory Lattice theory |
| Issue Date: | 27-Jun-2018 |
| 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. |
| Note: | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Enrique Casanovas Ruiz-Fornells |
| URI: | http://hdl.handle.net/2445/127682 |
| Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| memoria.pdf | Memòria | 503.74 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
