Enrique Casanovas Ruiz Fornells

Enrique Casanovas Ruiz Fornells

Full professor

ORCID: 0000-0003-1345-0230
Researcher ID: ABH-3812-2020
Knowledge area: Lògica i Filosofia de la Ciència

Grup de Lògica de Barcelona (Barcelona Logic Group). Acronym: BCNLOGIC

Contact Information
Department of Mathematics and Computer Science
Facultat de Matemàtiques i Informàtica. Gran Vía 585.
934021660
e.casanovas(a)ub.edu

Imparted Teaching (last 10 years)

Teoria Avançada de Models (University Master's Degree) - Pure and Applied Logic - Universidad de Barcelona.
Lògica Matemàtica (University Master's Degree) - Pure and Applied Logic - Universidad de Barcelona.
Computability and Logic (Phil 151/252) (No Especificat) - Unspecified - Stanford University.
Model Theory (Phil 350A/ Math 290B (No Especificat) - Unspecified - Stanford University.
Lineare Algebra II (Bachelor's degree) - Albert-Ludwigs Universität Freiburg - Universitat de Friburg.
Llenguatge i Raonament Matemàtic (Bachelor's degree) - Matemáticas - Universidad de Barcelona.
Lògica i Llenguatges (Bachelor's degree) - Ingeniería Informática - Universidad de Barcelona.
Àlgebra Lineal (Bachelor's degree) - Ingeniería Química - Universidad de Barcelona.
Lògica Matemàtica (Bachelor's degree) - Matemáticas - Universidad de Barcelona.

Participation in Projects

Teoría de modelos . 1999 - 2002 . Ref.PB98-1231 . Secretaría de Estado de Educación, Universidades, Investigación y Desarrollo . PI: Juan Carlos Martinez Alonso
Teoría de los modelos . 2002 - 2005 . Ref.BFM2002-01034 . Ministerio de Ciencia y Tecnología . PI: Juan Carlos Martinez Alonso
Grup de Lògica . 2002 - 2005 . Ref.2002SGR00126 . Departament d'Universitats, Recerca i Societat de la Informació (Generalitat de Catalunya) DURSI . PI: Enrique Casanovas Ruiz Fornells
Model Theory and applications (MODNET) . 2004 - 2007 . Ref.MRTN-CT-2004-512234 . Unió Europea . PI: Enrique Casanovas Ruiz Fornells
Grup de Lògica . 2005 - 2009 . Ref.2005SGR00738 . Departament d'Universitats, Recerca i Societat de la Informació (Generalitat de Catalunya) DURSI . PI: Enrique Casanovas Ruiz Fornells
Teoría de Modelos . 2006 - 2009 . Ref.MTM2005-00203 . Ministerio de Educación y Ciencia . PI: Juan Carlos Martinez Alonso
Teoría de Modelos . 2009 - 2011 . Ref.MTM2008-01545/MTM . Ministerio de Educación y Ciencia . PI: Juan Carlos Martinez Alonso
Grup de Lògica . 2009 - 2013 . Ref.2009SGR187 . Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) . PI: Enrique Casanovas Ruiz Fornells
Teoría de Modelos y Aplicaciones . 2012 - 2015 . Ref.MTM2011-26840 . Ministerio de Economia y Competitividad . PI: Enrique Casanovas Ruiz Fornells
Grup de Lògica . 2014 - 2017 . Ref.2014SGR437 . Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) . PI: Joan Bagaria Pigrau

Relevant publications (Journal Publications and Other publications - last 10 years)

Casanovas, E. (2014). Lascar strong types and forking in NIP theories. Rendiconti del Seminario Matematico. Università Politecnica Torino, 72(3-4), pp. 195 - 211 . ISSN: 0373-1243
Adler, H.; Casanovas, E.; Pillay, A. (2014). Generic stability and stability. Journal of Symbolic Logic, 79, pp. 179 - 185 . ISSN: 0022-4812
Casanovas, E.; Potier, J. (2014). Normal hyperimaginaries. Archive For Mathematical Logic, 53, pp. 583 - 591 . ISSN: 0933-5846
Enrique Casanovas; Luis Jaime Corredor. (2017). Orbits of subsets of the monster model and geometric theories. Annals of Pure and Applied Logic, 168, pp. 2152 - 2163 . ISSN: 0168-0072
Enrique Casanovas (2017). Definibilitat en estructures matemàtiques. Butlletí de la Societat Catalana de Matemàtiques, 32(2), pp. 133 - 153 . Institutional Repository . ISSN: 0214-316X

Direction of Thesis, Minor Thesis and Research Reports (last 10 years)

Daniel Palacín Cruz . (2012) . Forking in simple theories and CM-triviality (Ph.D. Thesis) . Universidad de Barcelona.
Joris Potier . (2015) . A few things about hyperimagnaries and stable forking (Ph.D. Thesis) . Universidad de Barcelona.

Conferences and Participations in Congresses (last 10 years)

Casanovas, E. (2012). Model theory and stability. (Invited conference) . First CSLI Workshop on Logic, Rationality, and Interaction. Stanford University . Stanford . UNITED STATES
Casanovas, E. (2012). Local types of bounded hyperimaginaries. (Invited conference) . Model Theory in Wroclaw 2012 . Wroclaw . POLAND
Casanovas, E. (2012). Tipos estables. (Invited conference) . Jornadas 'Lógica Matemática en España' en memoria de Alejandro Fernández Margarit. Universidad de sevilla . Sevilla . SPAIN
Casanovas, E. (2014). Special Session on Model Theory and Applications. First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI. (Participation in scientific/organizer committee) . Special Session on Model Theory and Applications. First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI . Bilbao . SPAIN
Casanovas, E. (2015). Stable forking conjecture and imaginaries. (Invited conference) . Bogotá Model Theory Day . Bogotá . COLOMBIA
Casanovas, E. (2015). Stable forking and imaginaries. (Invited conference) . Neostability. Casa matemática Oaxaca - BIRS . Bogotá . MEXICO
Casanovas, E. (2016). On dependently embedded sets. (Invited conference) . Model Theory and Applications. Special Session of the Second Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies . Logroño . SPAIN
Enrique Casanovas (2017). Model theory of Steiner triple systems. (Invited conference) . Automorphism groups, differential Galois theory and model theory . Barcelona . SPAIN
Enrique Casanovas (2017). Orbits of subsets of the monster model and geometric theories. (Invited conference) . 11th Panhellenic logic symposium . Delfos . GREECE
Enrique Casanovas; Saharon Shelah (2017). Universal theories and compactly expandable models. (Presentation of communication) . Logic Colloquium 17 . Estocolmo . SWEDEN
Enrique Casanovas; Silvia Barbina (2017). Model completion of the theory of Steiner quasigroups. (Invited conference) . Primer encuentro conjunto de la Real sociedad matemática española (RSME) y la Unión matemática argentina (UMSA). Sesión especial de Lógica y Computabilidad . Buenos Aires . ARGENTINA
Casanovas, E. (2018). Special Session on Model Theory. Logic Colloquium 2018. (Participation in scientific/organizer committee) . Logic Colloquium 2018 . Udine . ITALY