Joan Bagaria

Joan Bagaria Pigrau (born August 17, 1958) is a Catalan mathematician, logician and set theorist at ICREA and University of Barcelona. He has made many contributions concerning forcing, large cardinals, infinite combinatorics and their applications to other areas of mathematics. He earned his Ph.D. in Logic & the Methodology of Science at Berkeley in 1991 under the supervision of Haim Judah and W. Hugh Woodin.[1] Since 2001, he has been ICREA Research Professor at University of Barcelona.[2] He served as the first president of the European Set Theory Society (2007-11).

Joan Bagaria
Joan Bagaria in 2018
Born17 August 1958
Manlleu (Catalonia)
NationalitySpanish
Alma materUniversitat de Barcelona and University of California, Berkeley
Children2
Scientific career
ThesisDefinable forcing and regularity properties of projective sets of reals (1991)
Doctoral advisorW. Hugh Woodin
Websitehttps://www.icrea.cat/Web/ScientificStaff/joan--bagaria-i-pigrau-119

His research work is widely cited,[3] and he has given talks to the general public.[4][5]

He is also an active Catalan independentist.[6]

Some publications
  • J. Bagaria (1997). "A characterization of Martin's axiom in terms of absoluteness". Journal of Symbolic Logic. 62 (2): 366–372. doi:10.2307/2275537.
  • J. Bagaria (2000). "Bounded forcing axioms as principles of generic absoluteness". Archive for Mathematical Logic. 39 (6): 393–401. doi:10.1007/s001530050154.
  • D. Asperó & J. Bagaria (2001). "Bounded forcing axioms and the continuum". Annals of Pure and Applied Logic. 109 (3): 179–203. doi:10.1016/S0168-0072(00)00058-0.
  • J. Bagaria & J. López-Abad (2001). "Weakly Ramsey Sets in Banach Spaces". Advances in Mathematics. 160 (2): 133–174. doi:10.1006/aima.2001.1983.
  • J. Bagaria & J. López-Abad (2002). "Determinacy and weakly Ramsey sets in Banach spaces". Transactions of the American Mathematical Society. 354 (4): 1327–1349. doi:10.1090/S0002-9947-01-02926-9.
  • J. Bagaria & R. Bosch (2004). "Solovay models and forcing extensions". Journal of Symbolic Logic. 69 (3): 742–766. doi:10.2178/jsl/1096901764.
  • J. Bagaria (2008). "Set Theory". In T. Gowers; J. Barrow-Green; I. Leader (eds.). The Princeton Companion to Mathematics. Princeton University Press. ISBN 978-0-691-11880-2.
  • J. Bagaria (2012). "C(n)-cardinals". Archive for Mathematical Logic. 51 (3–4): 213–240. doi:10.1007/s00153-011-0261-8.
  • J. Bagaria & M. Magidor (2014). "Group radicals and strongly compact cardinals". Transactions of the American Mathematical Society. 366 (4): 1857–1877. doi:10.1090/S0002-9947-2013-05871-0.
  • J. Bagaria; C. Casacuberta; A.R.D. Mathias & J. Rosický (2015). "Definable orthogonality classes in accessible categories are small". Journal of the European Mathematical Society. 17 (3): 549–589. arXiv:1101.2792. doi:10.4171/JEMS/511.
  • J. Bagaria; J. D. Hamkins; K. Tsaprounis & T. Usuba (2016). "Superstrong and other large cardinals are never Laver indestructible". Archive for Mathematical Logic. 55 (1–2): 19–35. arXiv:1307.3486. doi:10.1007/s00153-015-0458-3.
gollark: It doesn't give you an actual parse tree.
gollark: The preprocessor is literally just token substitution, and not even consistent with the actual C tokenizer!
gollark: Macros and such. Nim uses them a lot. It also has templates, which are quite a useful cut-down version which is good enough a lot of the time.
gollark: The ability to extend the language from within the language.
gollark: Very nice, though. Great metaprogramming.

References
  1. Joan Bagaria at the Mathematics Genealogy Project
  2. ORCID Page
  3. Data in Scopus:
  4. Turing's Legacy in Mathematical Logic and Foundation of Mathematics
  5. Matemàtiques en acció
  6. VilaWeb's coverage


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.