| Inici UB | ||
| Grup de Lògica de Barcelona (Barcelona Logic Group). Acronym: BCNLOGIC | ||
|
Codi Oficial: 2017SGR270 Adreça Professional: Baldiri Reixac s/n (Barcelona - 08028) Telèfon: 933333466 Fax: 934498510 Correu-e: bagaria(a)ub.edu Codis Unesco: Lògica matemàtica / Filosofia de les matemàtiques / Història de la lògica Paraules Clau: Lógica de segundo orden / Teoría de conjuntos / Historia de la lógica / Teoría de modelos / Lógica matemática Àmbit temàtic: Humanitats |
Joan Bagaria Pigrau (Plantilla o Contractat) bagaria(a)ub.edu
Juan Carlos Martinez Alonso (Plantilla o Contractat) jcmartinez(a)ub.edu
Enrique Casanovas Ruiz Fornells (Plantilla o Contractat) e.casanovas(a)ub.edu
Joost Johannes Joosten (Plantilla o Contractat) jjoosten(a)ub.edu
Pedro Andres Estevan Ibañez (Becaris) p.a.estevan(a)ub.edu
Eduardo Hermo Reyes (Becaris) ehermo.reyes(a)ub.edu
Alejandro Poveda Ruzafa (Becaris) alejandro.poveda(a)ub.edu
Rafael Farre Cirera (Plantilla o contractat extern UB)
Ana De Almeida Gabriel Vieira Borges (Plantilla o contractat extern UB) ana.agvb(a)gmail.com
Nika Pona (Plantilla o contractat extern UB)
Casanovas, E. (1995). Compactly expandable models and stability. Journal of Symbolic Logic, 60(2), 673-683. ISSN: 0022-4812
Casanovas, E.; Farré, R. (1996). Omitting types in incomplete theories. Journal of Symbolic Logic, 61(1), 236-245. ISSN: 0022-4812
Casanovas, E.; Dellunde, P.; Jansana, R. (1996). On elementary equivalence for equality-free logic. Notre Dame Journal of Formal Logic, 37(3), 506-522. ISSN: 0029-4527
Casanovas, E. (1998). A test for expandability. Archive for Mathematical Logic, 37, 221-234. ISSN: 1432-0665
Casanovas, E.; Kim, B. (1998). A supersimple nonlow theory. Notre Dame Journal of Formal Logic, 39(4), 507-518. ISSN: 0029-4527
Casanovas, E. (1999). The number of types in simple theories. Annals of Pure and Applied Logic, 98, 69-86. ISSN: 0168-0072
Casanovas, E.; Ziegler, M. (2001). Stable theories with a new predicate. Journal of Symbolic Logic, 66(3), 1127-1140. ISSN: 0022-4812
Casanovas, E.; Lascar, D.; Pillay, A.; Ziegler, M.; (2001). Galois groups of first order theories. Journal Of Mathematical Logic, 1(2), 305-319. ISSN: 0219-0613
Casanovas, E.; Wagner, F.O. (2002). Local supersimplicity and related concepts. Journal of Symbolic Logic, 67(2), 744-758. ISSN: 0022-4812
Casanovas, E. (2003). Dividing and chain conditions. Archive for Mathematical Logic, 42(8), 815-819. ISSN: 1432-0665
Casanovas, E. (2003). Some remarks on indiscernible sequences. Mathematical Logic Quarterly, 49(5), 475-478. ISSN: 0942-5616
Casanovas, E.; Wagner, F. (2004). The free roots of the complete graph. Proceedings of the American Mathematical Society, 132(5), 1543-1548. ISSN: 0002-9939
Grup de teòria de models de Freiburg (Alemanya). Martin Ziegler, Jörg Flum, Markus Junker.
Grup de teòria de models de la universitat de Illinois a Urbana-Champaign (Estat Units). Anand Pillay.
Grup de teòria de models de la universitat de Paris 7 (França). Daniel Lascar, Elisabeth Bouscaren, Françoise Delon.
Grup de teòria de models de la universitat Claude Bernard, Lyon 1 (França). Frank Wagner, Bruno Poizat.
Grup de Lògica de la universitat de California a Berkeley. W.Hugh Woodin, John Steel, Thomas Scanlon, Paolo Mancosu.
Grup de Lògica de Bogotá (Colombia). Xavier Caicedo, Luis Jaime Corredor, Andrés Villaveces, Carlos Montenegro.
Grup de Lògica de Berlin (Alemanya) Andreas Baudisch, Amador Martín Pizarro.
| © GREC | Curricul@ Grups
Última actualització: 20/10/2022 |