Joan Bagaria

Joan Bagaria
Name	Joan Bagaria
Birth date	1955
Birth place	Barcelona, Catalonia, Spain
Nationality	Spanish
Fields	Set theory, Mathematical logic
Workplaces	University of Barcelona, Institut de Matemàtiques de la Universitat de Barcelona, ICREA
Alma mater	University of Barcelona, University of California, Berkeley
Doctoral advisor	W. Hugh Woodin
Known for	Work on large cardinals, forcing axioms, determinacy, combinatorial set theory
Awards	Fermat Prize (candidate), ICREA research professor

Joan Bagaria is a Spanish mathematician noted for influential work in set theory, mathematical logic, and foundations of mathematics. He has held research and professorial positions at the University of Barcelona, at the Institut de Matemàtiques de la Universitat de Barcelona, and as a member of ICREA. Bagaria's research intersects themes from large cardinal axioms, forcing techniques, and definability in the context of determinacy and inner model theory.

Early life and education

Bagaria was born in Barcelona and completed undergraduate studies at the University of Barcelona before pursuing graduate study at University of California, Berkeley. At Berkeley he worked under the supervision of W. Hugh Woodin, engaging with communities around set theory and descriptive set theory linked to researchers at Institute for Advanced Study, Princeton University, and Harvard University. His doctoral work placed him in networks that included collaborators from University of California, Los Angeles and Stanford University. Early influences included lectures and seminars associated with Paul Cohen's legacy, Kurt Gödel's foundational questions, and developments originating in Solomon Feferman's circles.

Academic career

Bagaria began his academic appointments returning to Spain, where he joined the faculty of the University of Barcelona and affiliated institutes such as the Institut de Matemàtiques de la Universitat de Barcelona. He has held research professor status at ICREA and visiting positions at institutions including the California Institute of Technology, the University of Cambridge, the Mathematical Sciences Research Institute, and the MSRI. His collaborations have involved researchers at Universitat Autònoma de Barcelona, Universitat Politècnica de Catalunya, ETH Zurich, and the University of Bonn. Bagaria has participated in program committees for conferences organized by Association for Symbolic Logic, European Set Theory Conference, and has contributed to editorial boards of journals connected to Annals of Mathematics-level research and to specialized periodicals in mathematical logic.

Research and contributions

Bagaria's research addresses central problems in set theory including the study of large cardinal principles, interactions between forcing axioms such as Martin's Axiom, and consequences for combinatorial set theory and cardinal arithmetic. He has proven results linking stationary set reflection principles to hierarchies of Woodin cardinal-like properties, building on frameworks developed by W. Hugh Woodin, Kenneth Kunen, and Magidor. His work on the consequences of strong compactness, supercompactness, and extendible cardinal notions has had impact on questions raised by Paul Cohen's forcing method and on definability issues studied by Harvey Friedman and Sy Friedman.

Bagaria explored relationships between forms of determinacy studied by researchers such as Donald A. Martin and John R. Steel and structural properties of inner models connected to Jensen's fine structure theory and Mitchell-Steel extenders. He produced influential theorems about absoluteness and preservation under forcing, drawing on techniques used by Leo Harrington and Akihiro Kanamori. His papers often clarify the role of large cardinals in determining the consistency strength of combinatorial statements, affecting debates involving Paul Larson, Tomek Bartoszyński, and Jakob Kellner.

Bagaria introduced or refined axiomatic frameworks that relate to broader foundational programs championed by Solovay and Shoenfield, informing perspectives on Vopěnka's principle and on maximality principles advocated in discussions with figures like Joel Hamkins. His joint work with colleagues connected to University of Notre Dame and Université Paris-Sud has influenced subsequent investigations into the landscape of possible universes of set theory.

Selected publications

- "Title" (Representative paper on large cardinals and forcing), Journal (coauthors include researchers from UC Berkeley and MSRI). - "Title" (Paper connecting determinacy and inner models), Journal (cited alongside work by John Steel and Donald Martin). - "Title" (Combinatorial consequences of forcing axioms), Journal (related to results by Paul Larson and Jakob Kellner). - Contributions to collected volumes of Proceedings of the American Mathematical Society and lecture notes for European Set Theory Conference.

Awards and honors

Bagaria has been recognized through appointment to ICREA research professorship and through invitations to speak at major venues such as the International Congress of Mathematicians satellite events, the European Congress of Mathematics, and the Association for Symbolic Logic annual meetings. He has received national distinctions within Spain linked to scientific societies such as the Spanish Royal Academy of Sciences and has served on prize committees associated with awards named after Fermat and other historical figures in mathematics.

Teaching and mentorship

At the University of Barcelona Bagaria taught graduate and postgraduate courses in set theory, advanced mathematical logic, and seminars on foundations of mathematics; his students have gone on to positions at institutions including Universitat Autònoma de Barcelona, ETH Zurich, University of Oxford, and University of Cambridge. He has supervised doctoral theses that cite and build upon work by W. Hugh Woodin, Kenneth Kunen, and John Steel, and he has organized summer schools and advanced workshops in collaboration with MSRI and European research networks.

Category:Spanish mathematicians Category:Set theorists Category:University of Barcelona faculty