Sneha Girap (Editor)

Andreas Blass

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
United States

Role
  
Mathematician

Fields
  
Mathematician

Name
  
Andreas Blass


Andreas Blass httpsuploadwikimediaorgwikipediacommonsthu

Known for
  
set theory, mathematical logic, theoretical computer science.

Residence
  
Ann Arbor, Michigan, United States

Books
  
Freyd's models for the independence of the axiom of choice

Education
  
Harvard University, University of Detroit Mercy

Doctoral advisor
  
Frank Wattenberg

Notable students
  
R. Michael Canjar

Institutions
  
University of Michigan

Braid Groups, Hecke Algebras, Representations, and Anyons


Andreas Raphael Blass (born October 27, 1947 in Nuremberg) is a mathematician, currently a professor at the University of Michigan. He specializes in mathematical logic, particularly set theory, and theoretical computer science.

Contents

Blass graduated from the University of Detroit, where he was a Putnam Fellow, in 1966 with a B.S. in physics. He received his Ph.D. in 1970 from Harvard University, with a thesis on Orderings of Ultrafilters written under the supervision of Frank Wattenberg. Since 1970 he has been employed by the University of Michigan, first as a T.H. Hildebrandt Research Instructor (1970–72), then assistant professor (1972–76), associate professor (1976–84) and since 1984 he has been a full professor there.

In 2014, he became a Fellow of the American Mathematical Society.

Selected publications and results

In 1984 Blass proved that the existence of a basis for every vector space is equivalent to the Axiom of Choice. He made important contributions in the development of the set theory of the reals and forcing.

Blass was the first to point out connections between game semantics and linear logic.

He has authored more than 200 research articles in mathematical logic and theoretical computer science, including:

  • Blass, Andreas (1984). "Existence of bases implies the axiom of choice". Axiomatic set theory, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1983, Contemp. Math. 31. pp. 31–34. 
  • Blass, Andreas; Shelah, Saharon (1987). "There may be simple P 1 - and P 2 -points and the Rudin–Keisler ordering may be downward directed". Annals of Pure and Applied Logic. 33: 213–243. doi:10.1016/0168-0072(87)90082-0. 
  • Blass, Andreas (1992). "A game semantics for linear logic". Annals of Pure and Applied Logic. 56: 183–220. doi:10.1016/0168-0072(92)90073-9. 
  • Blass, Andreas; Gurevich, Yuri (2003). "Algorithms: a quest for absolute definitions" (PDF). Bull. Eur. Assoc. Theor. Comput. Sci. EATCS. 81: 195–225. Retrieved 2008-04-28. 
  • References

    Andreas Blass Wikipedia