|
2.1. Projectes de recerca finançats pel Govern Espanyol (actius l'any 2009)
Teoria de models
Investigador principal: Martínez Alonso, Juan Carlos
Institució:
UB
Període: 2009-2011
Investigadors doctors: 5 Investigadors no doctors: 2
Web: www.ub.edu/modeltheory
Investigadors doctors del projecte:
Martínez Alonso, Juan Carlos (IP)
Casanovas Ruiz-Fornells, Enrique -
UB
|
Eleftheriou, Panteleimon E. -
Universidade de Lisboa
|
Farré Cirera, Rafel -
UPC
|
Línies del projecte:
Ālgebres de Boole
Investigador responsable: Martínez Alonso, Juan Carlos -
UB
Àrea de recerca: Lōgica
Paraules clau: derivades de Cantor-Bendixson, sequčncies de cardinals, forcing
2000 Math. Subject Class.: 03G05,03C25, 54G12
Descripció
Publicacions més destacades
|
Teories estables i teories simples
Investigador responsable: Casanovas Ruiz-Fornells, Enrique -
UB
Àrea de recerca: Lōgica
Paraules clau: tipus de Lascar, grups d'automorfismes, elements hiperimaginaris.
2000 Math. Subject Class.: 03C45, 03C60
Descripció
Publicacions més destacades
|
|
|
|
|