Juan Carlos Martínez

Juan Carlos Martínez

Full professor

ORCID: 0000-0002-1033-4683
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
Gran Vía, 585
934021661
jcmartinez(a)ub.edu

Academic training

Matemáticas . Universidad Complutense de Madrid . 06/1978 . (Diploma / Degree / Activities)
Matemáticas . Universidad Complutense de Madrid . 17/03/1983 . (Ph.D.)

Academic Profile

Lógica Aplicada
Demostración Automática
Teoría de Autómatas
Teoría de Conjuntos
Lenguaje y Razonamiento Matemático

Imparted Teaching (last 10 years)

Models Computacionals (Llicenciatura degree) - Matemáticas - Universidad de Barcelona.
Lògica i Llenguatges (Bachelor's degree) - Ingeniería Informática - Universidad de Barcelona.
Computabilitat i Complexitat (Bachelor's degree) - Matemáticas - Universidad de Barcelona.
Llenguatge i Raonament Matemàtic (Bachelor's degree) - Matemáticas - Universidad de Barcelona.
Models Computacionals (Llicenciatura degree) - Matemáticas - Universidad de Barcelona.
Teoria de la Demostració i Demostració Automàtica (University Master's Degree) - Pure and Applied Logic - Universidad de Barcelona.
Teoria Bàsica de Conjunts (University Master's Degree) - Pure and Applied Logic - Universidad de Barcelona.

Research interests

Teoría de Modelos
Álgebras de Boole
Topologia General
Teoría de Conjuntos

Participation in Projects

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 - 2012 . Ref.MTM2008-01545 . 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 . 2012 - 2015 . Ref.MTM2011-26840 . Ministerio de Ciencia e Innovación (MICINN) . 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
Lógica Matemática . 2015 - 2018 . Ref.MTM2014-59178-P . Ministerio de Educación, Cultura y Deporte . PI: Enrique Casanovas Ruiz-Fornells
Grup de Lògica . 2018 - 2021 . Ref.2017SGR270 . Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) . PI: Joan Bagaria Pigrau
Lógica Matemática . 2018 - 2021 . Ref.MTM2017-86777-P . Ministerio de Educación, Cultura y Deporte . PI: Enrique Casanovas Ruiz-Fornells
Lógica Matemática . 2021 - 2024 . Ref.PID2020-116773GB-100 . Ministerio de Educación, Cultura y Deporte . 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

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

Martínez, J.C. (2014). Is every omega1-Lindelöf P-space a D-space?. Questions and Answers in General Topology, 32(1), pp. 1 - 4 . ISSN: 0918-4732
Martínez, J.C. (2014). On some classes of spaces with the D-property. Commentationes Mathematicae Universitatis Carolinae, 55(2), pp. 247 - 256 . ISSN: 0010-2628
Martínez, J.C. ; Soukup, L. (2019). On cardinal sequences of length less than omega3. Topology and its Applications, 260, pp. 116 - 125 . Institutional Repository . ISSN: 0166-8641
Martínez, J.C. (2018). Sobre potencias de cardinales y la conjetura PCF de Shelah (en vasco). Gogoa, 18, pp. 185 - 191 . https://doi.org/10.1387/gogoa.20365 . ISSN: 1577-9424
Martínez, J.C. ; Soukup, L. (2021). A consistency result on long cardinal sequences. Annals of Pure and Applied Logic, 172 . Institutional Repository . ISSN: 0168-0072
Martínez, J.C. ; Soukup, L. (2022). Constructions of Lindelöf scattered P-spaces. Fundamenta Mathematicae, 259(3), pp. 271 - 286 . Institutional Repository . ISSN: 0016-2736
Martínez, J.C. (2014). Cardinal sequences for superatomic Boolean algebras . In Infinity, Computability and Metamathematics . Volume. Tributes 23 . (pp. 273 - 284) . College Publications . ISBN: 978-1-84890-130-8 .

Conferences and Participations in Congresses (last 10 years)

Martínez, Juan Carlos (2014). On cardinal sequences of LCS spaces. (Presentation of communication) . IX Iberoamerican Conference on Topology and its Applications . Almería . SPAIN
Martínez, Juan Carlos (2015). On thin-tall and thin-thick Boolean spaces. (Presentation of communication) . Logic Colloquium 2015 . Helsinki . FINLAND
Martínez, Juan Carlos (2017). On pcf spaces which are not Fréchet-Urysohn. (Presentation of communication) . Logic Colloquium 2017 . Estocolmo . SWEDEN
Martínez, Juan Carlos (2022). Sobre algoritmos, máquinas de Turing y complejidad. (Invited conference) . Nonlinear Phenomena in Mathematical Physics and Applications . Madrid . SPAIN