Inici UB
Grup de Lògica

Dades Generals

Adreça Professional: Baldiri Reixac s/n (Barcelona - 08028)

Telèfon: 933333466     Fax: 934498510

Correu-e: bagaria(a)ub.edu

Pàgina Web:

Codis Unesco: Lògica matemàtica / Història de la lògica / Filosofia de les matemàtiques

Paraules Clau: Historia de la lógica / Lógica de segundo orden / Lógica matemática / Teoría de conjuntos / Teoría de modelos

Àmbit temàtic: FILOSOFIA

Equip Investigador

Joan Bagaria Pigrau bagaria(a)ub.edu

Enrique Casanovas Ruiz Fornells e.casanovas(a)ub.edu

Ignacio Jane Palau jane(a)ub.edu

Juan Carlos Martinez Alonso jcmartinez(a)ub.edu

Joost Joosten jjoosten(a)ub.edu

Pedro Andres Estevan Ibañez pa.ei(a)hotmail.com

Rafael Farre Cirera

Publicacions en Revistes

Casanovas, E.  (2003).  Some remarks on indiscernible sequences. Mathematical Logic Quarterly, 49(5),  475-478.   ISSN: 0942-5616

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.; 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.; Kim, B.  (1998).  A supersimple nonlow theory. Notre Dame Journal Of Formal Logic, 39(4),  507-518.   ISSN: 0029-4527

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.; Ziegler, M.  (2001).  Stable theories with a new predicate. Journal of Symbolic Logic, 66(3),  1127-1140.   ISSN: 0022-4812

Casanovas, E.  (1995).  Compactly expandable models and stability. Journal of Symbolic Logic, 60(2),  673-683.   ISSN: 0022-4812

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

Casanovas, E.  (1998).  A test for expandability. Archive for Mathematical Logic, 37,  221-234.   ISSN: 1432-0665

Casanovas, E.  (1999).  The number of types in simple theories. Annals of Pure and Applied Logic, 98,  69-86.   ISSN: 0168-0072

Contactes de Recerca

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/11/2015