Andreas Blass
{{Short description|German-American mathematician}}
{{Infobox scientist
| name = Andreas R. Blass
| image = AndreasBlass.jpg
| image_size = 200px
| caption = Blass in 2008
| birth_date = {{birth-date and age|October 27, 1947}}
| birth_place =
| alma_mater = Harvard University (Ph.D.)
University of Detroit (B.S.)
| thesis_title = Orderings of Ultrafilters
| thesis_url = https://dept.math.lsa.umich.edu/~ablass/thesis.pdf
| thesis_year = 1970
| field = Mathematical logic
| work_institution = University of Michigan
| doctoral_advisor = Frank Wattenberg
| doctoral_students =
| known_for =
| awards =
| footnotes =
}}
Andreas Raphael Blass (born October 27, 1947) is a mathematician, currently a professor at the University of Michigan. He works in mathematical logic, particularly set theory, and theoretical computer science.
Blass graduated from the University of Detroit, where he was a Putnam Fellow in 1965,{{cite web|title=Putnam Competition Individual and Team Winners |url=http://www.maa.org/programs/maa-awards/putnam-competition-individual-and-team-winners |publisher=Mathematical Association of America|access-date=December 12, 2021}} 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.{{MathGenealogy|id=7579}} 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.[http://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society]
Selected publications and results
{{Scholia}}
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:
- {{Citation | last1=Blass | first1=Andreas | title=Axiomatic set theory | publisher=American Mathematical Society | location=Providence, R.I. | series=Contemporary Mathematics volume 31 | mr=763890 | year=1984 | chapter=Existence of bases implies the axiom of choice | pages=31–33|isbn=0-8218-5026-1 |chapter-url= http://www.math.lsa.umich.edu/~ablass/bases-AC.pdf}}
- {{cite journal|author=Blass, Andreas|author2=Shelah, Saharon|title=There may be simple - and -points and the Rudin–Keisler ordering may be downward directed| journal= Annals of Pure and Applied Logic|volume=33|year=1987|pages=213–243|doi=10.1016/0168-0072(87)90082-0|author2-link=Saharon Shelah|hdl=2027.42/26916|hdl-access=free}}
- {{cite journal|author = Blass, Andreas| title= A game semantics for linear logic|journal= Annals of Pure and Applied Logic|volume= 56| issue= 1–3|year=1992|pages=183–220|doi = 10.1016/0168-0072(92)90073-9|hdl= 2027.42/30097|hdl-access= free}}
- {{cite journal|author = Blass, Andreas |author2= Gurevich, Yuri|title= Algorithms: a quest for absolute definitions|journal= Bull. Eur. Assoc. Theor. Comput. Sci. EATCS|volume=81|year=2003|pages=195–225|url=http://research.microsoft.com/~gurevich/Opera/164.pdf|access-date=2008-04-28|author2-link= Yuri Gurevich}}
References
{{reflist}}
External links
{{Commons category|Andreas Blass}}
- [http://www.math.lsa.umich.edu/~ablass/ Blass's page at UM]
{{Authority control}}
{{DEFAULTSORT:Blass, Andreas}}
Category:20th-century German mathematicians
Category:21st-century American mathematicians
Category:University of Detroit Mercy alumni
Category:Harvard University alumni
Category:University of Michigan faculty
Category:Emigrants from West Germany to the United States
Category:Fellows of the American Mathematical Society
{{US-mathematician-stub}}