Complete theories of boolean algebras

Vista senzilla d'ítem
dc.contributor.advisorCasanovas Ruiz-Fornells, Enrique
dc.contributor.authorTrullenque Ortiz, Clara
dc.date.accessioned2019-01-29T08:58:28Z
dc.date.available2019-01-29T08:58:28Z
dc.date.issued2018-06-27
dc.descriptionTreballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Enrique Casanovas Ruiz-Fornellsca
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.extent52 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/2445/127682
dc.language.isoengca
dc.rightscc-by-nc-nd (c) Clara Trullenque Ortiz, 2018
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.sourceTreballs Finals de Grau (TFG) - Matemàtiques
dc.subject.classificationÀlgebra de Booleca
dc.subject.classificationTreballs de fi de grau
dc.subject.classificationLògica de primer ordreca
dc.subject.classificationTeoria de modelsca
dc.subject.classificationTeoria dels reticlesca
dc.subject.otherBoolean algebrasen
dc.subject.otherBachelor's theses
dc.subject.otherFirst-order logicen
dc.subject.otherModel theoryen
dc.subject.otherLattice theoryen
dc.titleComplete theories of boolean algebrasca
dc.typeinfo:eu-repo/semantics/bachelorThesisca

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
memoria.pdf
Mida:
503.74 KB
Format:
Adobe Portable Document Format
Descripció:
Memòria
Descarregar

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques