Elgueta Montó, Raimon (Date of defense: 1994-05-25)
In our opinion, it is fair to distinguish two separate branches in the origins of model theory. The first one, the model theory of first-order logic, can be traced back to the pioneering work of L. ...
Palacín Cruz, Daniel (Date of defense: 2012-07-17)
Aquesta tesi té tres objectius. En primer lloc, estudiem generalitzacions de la jerarquia no ample relatives a una família de tipus parcials. Aquestes jerarquies en permeten classificar la complexitat ...
Potier, Joris (Date of defense: 2015-06-8)
The core of this PhD dissertation is basically twofold : On one hand, I get some new results on the relationship between compact groups and bounded hyperimaginaries, extending a little bit the classical ...
García Ávila, Luz María (Date of defense: 2012-07-12)
This is a contribution to combinatorial set theory, specifically to infinite Ramsey Theory, which deals with partitions of infinite sets. The basic pigeon hole principle states that for every partition ...
Dellunde i Clavé, Pilar (Date of defense: 1996-01-01)
La tesis doctoral es un estudio de la teoria de modelos de la lógica sin identidad. Se estudia el fragmento de la lógica de primer orden compuesto por las fórmulas que no tienen el símbolo de identidad. ...