Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/127682
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Casanovas Ruiz-Fornells, Enrique | - |
dc.contributor.author | Trullenque Ortiz, Clara | - |
dc.date.accessioned | 2019-01-29T08:58:28Z | - |
dc.date.available | 2019-01-29T08:58:28Z | - |
dc.date.issued | 2018-06-27 | - |
dc.identifier.uri | http://hdl.handle.net/2445/127682 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Enrique Casanovas Ruiz-Fornells | ca |
dc.description.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. | ca |
dc.format.extent | 52 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.rights | cc-by-nc-nd (c) Clara Trullenque Ortiz, 2018 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Àlgebra de Boole | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Lògica de primer ordre | ca |
dc.subject.classification | Teoria de models | ca |
dc.subject.classification | Teoria dels reticles | ca |
dc.subject.other | Boolean algebras | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | First-order logic | en |
dc.subject.other | Model theory | en |
dc.subject.other | Lattice theory | en |
dc.title | Complete theories of boolean algebras | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
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