- Selected publications and results
- References
- External links
| name = Andreas R. Blass
| image = AndreasBlass.jpg
| image_size = 200px
| caption = Prof. Andreas Blass giving a talk during the conference "Boise Extravaganza in Set Theory BEST 17", Boise, Idaho, March 2008
| birth_date = October 27, 1947
| birth_place =Nuremberg
| residence = Ann Arbor, Michigan
| nationality = {{USA}}
| ethnicity =
| field = Mathematician
| work_institution = University of Michigan
| alma_mater =
| doctoral_advisor = Frank Wattenberg
| doctoral_students =
| known_for = set theory, mathematical logic, theoretical computer science.
| prizes =
| footnotes =
}}
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.
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.[1] 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.[2]
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:
- {{Cite book| last = Blass | first = Andreas| contribution = Existence of bases implies the axiom of choice | title = Axiomatic set theory, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1983, Contemp. Math. 31. | pages = 31–34| year = 1984 }}
- {{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}} - {{cite journal|author = Blass, Andreas| title= A game semantics for linear logic|journal= Annals of Pure and Applied Logic|volume= 56|year=1992|pages=183–220|doi = 10.1016/0168-0072(92)90073-9}}
- {{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| format=PDF|accessdate=2008-04-28}}
References
2. ^List of Fellows of the American Mathematical Society
External links
{{Commons category|Andreas Blass}}- Blass's page at UM
- List of Drawn Together episodes
- List of drawn together episodes
- List of Dreamcast arcade ports
- List of Dreamcast Games
- List of dreamcast games
- List of Dreamcast homebrew games
- List of Dreamcast Network games
- List of Dreamcast network games
- List of dream diaries
- List of dream pop artists
- List of Dream Team cast members
- List of drepanid genera
- List of dresden files episodes
- List of Drew Carey episodes
- List of Drexel University alumni
- List of Drexel University people
- List of Drexel University publications
- List of Dr. Floyd episodes
- List of drill and tap sizes
- List of drinkware
- List of Drive characters
- List of Drive episodes
- List of drive-in theatres in Australia
- List of drone artists
- List of Drop Dead Gorgeous episodes