Mostra el registre parcial de l'element
| dc.contributor | Casanovas Ruiz-Fornells, Enrique | |
| dc.creator | Trullenque Ortiz, Clara | |
| dc.date | 2019-01-29T08:58:28Z | |
| dc.date | 2019-01-29T08:58:28Z | |
| dc.date | 2018-06-27 | |
| dc.date.accessioned | 2024-12-16T10:27:15Z | |
| dc.date.available | 2024-12-16T10:27:15Z | |
| dc.identifier | http://hdl.handle.net/2445/127682 | |
| dc.identifier.uri | http://fima-docencia.ub.edu:8080/xmlui/handle/123456789/22141 | |
| dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Enrique Casanovas Ruiz-Fornells | |
| dc.description | [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. | |
| dc.format | 52 p. | |
| dc.format | application/pdf | |
| dc.language | eng | |
| dc.rights | cc-by-nc-nd (c) Clara Trullenque Ortiz, 2018 | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | |
| dc.subject | Àlgebra de Boole | |
| dc.subject | Lògica de primer ordre | |
| dc.subject | Teoria de models | |
| dc.subject | Teoria dels reticles | |
| dc.subject | Treballs de fi de grau | |
| dc.subject | Boolean algebras | |
| dc.subject | First-order logic | |
| dc.subject | Model theory | |
| dc.subject | Lattice theory | |
| dc.subject | Bachelor's theses | |
| dc.title | Complete theories of boolean algebras | |
| dc.type | info:eu-repo/semantics/bachelorThesis |
| Fitxers | Grandària | Format | Visualització |
|---|---|---|---|
|
No hi ha fitxers associats a aquest element. |
|||