Joan Bagaria | |
---|---|
Born | August 17, 1958 Manlleu (Catalonia) |
Citizenship | Spanish |
Alma mater | Universitat de Barcelona and University of California, Berkeley |
Scientific career | |
Thesis | Definable forcing and regularity properties of projective sets of reals (1991) |
Doctoral advisor | W. Hugh Woodin |
Website | https://www.icrea.cat/Web/ScientificStaff/joan--bagaria-i-pigrau-119 |
Joan Bagaria Pigrau (born August 17, 1958) is a Spanish 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.
Bagaria was born in 1958 in Manlleu, Catalonia, Spain. [1] He earned a B.A. in philosophy from the University of Barcelona in 1981, and an M.A. in philosophy there in 1984. [1] He earned his PhD in Logic & the Methodology of Science at the University of California, Berkeley in 1991 under the supervision of Haim Judah and W. Hugh Woodin. [1] [2] He also held various other positions at UC Berkeley between January 1986 and May 1992, including as a reader, a graduate student instructor, a junior specialist, and a summer session instructor. [1]
In June 1992, Bagaria returned to Spain as an invited researcher at the Centre de Recerca Matemàtica, where he remained until that September. [1] From October 1992 to September 1995, he was an interim research professor at the Autonomous University of Barcelona. [1] He was an invited professor at Pompeu Fabra University from October 1995 to September 1996. [1] Then, he returned to the Autonomous University of Barcelona to again serve as an interim research professor, where he remained until October 2001. [1]
Since 2001, he has been ICREA Research Professor at University of Barcelona. [3] He served as the first president of the European Set Theory Society (2007–11).
His research work is widely cited, [4] and he has given talks to the general public. [5] [6] He has had nine PhD students. [2]
He is also an active Catalan independentist. [7]
This section may need to be rewritten to comply with Wikipedia's quality standards, as it should describe the results rather than just being a list of citations.(July 2024) |
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
Gábor Szegő was a Hungarian-American mathematician. He was one of the foremost mathematical analysts of his generation and made fundamental contributions to the theory of orthogonal polynomials and Toeplitz matrices building on the work of his contemporary Otto Toeplitz.
In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable.
In mathematics, extendible cardinals are large cardinals introduced by Reinhardt (1974), who was partly motivated by reflection principles. Intuitively, such a cardinal represents a point beyond which initial pieces of the universe of sets start to look similar, in the sense that each is elementarily embeddable into a later one.
Matthew Dean Foreman is an American mathematician at University of California, Irvine. He has made notable contributions in set theory and in ergodic theory.
In mathematics, Vopěnka's principle is a large cardinal axiom. The intuition behind the axiom is that the set-theoretical universe is so large that in every proper class, some members are similar to others, with this similarity formalized through elementary embeddings.
Richard Joseph Laver was an American mathematician, working in set theory.
John Charles Chenoweth McKinsey, usually cited as J. C. C. McKinsey, was an American mathematician known for his work on game theory and mathematical logic, particularly, modal logic.
James Andrew Clarkson was an American mathematician and professor of mathematics who specialized in number theory. He is known for proving inequalities in Hölder spaces, and derived from them, the uniform convexity of Lp spaces. His proofs are known in mathematics as Clarkson's inequalities. He was an operations' analyst during World War II, and was awarded the Medal of Freedom for his achievements. He wrote First reader on game theory, and many of his academic papers have been published in several scientific journals. He was an invited speaker at the 1932 International Congress of Mathematicians (ICM) in Zürich.
Joel David Hamkins is an American mathematician and philosopher who is the John Cardinal O'Hara Professor of Logic at the University of Notre Dame. He has made contributions in mathematical and philosophical logic, set theory and philosophy of set theory, in computability theory, and in group theory.
James Michael Gardner Fell was a Canadian-American mathematician, specializing in functional analysis and representation theory. He is known for Fell bundles. He was an accomplished linguist who knew Sanskrit, Icelandic, German, French, Russian, Greek, and Latin.
Boris Isaac Korenblum was a Soviet-Israeli-American mathematician, specializing in mathematical analysis.
Edward "Ted" Wilfred Odell, Jr. was an American mathematician, specializing in the theory of Banach spaces.
Edward Norman Dancer FAA is an Australian mathematician, specializing in nonlinear analysis.
Xavier Tolsa is a Catalan mathematician, specializing in analysis.
Robert Ronald Jensen is an American mathematician, specializing in nonlinear partial differential equations with applications to physics, engineering, game theory, and finance.
James Allister Jenkins was a Canadian–American mathematician, specializing in complex analysis.
Jaak Peetre was an Estonian-born Swedish mathematician. He is known for the Peetre theorem and Peetre's inequality.
Alexander "Sandy" Munro Davie is a Scottish mathematician and was the chess champion of Scotland in 1964, 1966, and 1969.