- Andreas Blass
Infobox_Scientist
name = Andreas R. Blass
image_width = 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 on
October 27 1947 inNuremberg ) is a mathematician, currently a professor at theUniversity of Michigan . He specializes inmathematical logic , particularlyset theory , andtheoretical computer science .Blass graduated from the
University of Detroit , where he was aPutnam Fellow , in 1966 with aB.S. inphysics . He received hisPh.D. in 1970 fromHarvard 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.elected 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 andlinear logic .He has authored about 175 research articles in mathematical logic and theoretical computer science, including:
*citation| 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|coauthors=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
*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
*cite journal|author = Blass, Andreas |coauthors= 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-28References
External links
* [http://www.math.lsa.umich.edu/~ablass/ Blass's page at UM]
Persondata
NAME = Blass, Andreas Raphael
ALTERNATIVE NAMES =
SHORT DESCRIPTION = Mathematician
DATE OF BIRTH =October 27 1947
PLACE OF BIRTH =Nuremberg
DATE OF DEATH =
PLACE OF DEATH =
Wikimedia Foundation. 2010.