Andreas Raphael Blass (nacido el 27 de octubre de 1947) es un matemático, actualmente profesor en la Universidad de Michigan . Trabaja en lógica matemática , en particular teoría de conjuntos e informática teórica .
Andreas R. Blass | |
---|---|
Nació | 27 de octubre de 1947 |
Nacionalidad | Estados Unidos |
Conocido por | teoría de conjuntos , lógica matemática , informática teórica . |
Carrera científica | |
Campos | Matemático |
Instituciones | Universidad de Michigan |
Asesor de doctorado | Frank Wattenberg |
Blass se graduó de la Universidad de Detroit , donde fue becario de Putnam , en 1966 con una licenciatura en física . Recibió su Ph.D. en 1970 de la Universidad de Harvard , con una tesis sobre pedidos de ultrafiltros escrita bajo la supervisión de Frank Wattenberg. [1] Desde 1970 ha estado empleado por la Universidad de Michigan, primero como Instructor de Investigación TH Hildebrandt (1970–72), luego profesor asistente (1972–76), profesor asociado (1976–84) y desde 1984 ha sido un profesor titular allí.
En 2014, se convirtió en miembro de la American Mathematical Society. [2]
Publicaciones y resultados seleccionados
En 1984 Blass demostró que la existencia de una base para cada espacio vectorial es equivalente al axioma de elección . Hizo importantes contribuciones en el desarrollo de la teoría de conjuntos de los reales y el forzamiento .
Blass fue el primero en señalar las conexiones entre la semántica del juego y la lógica lineal .
Es autor de más de 200 artículos de investigación en lógica matemática e informática teórica, que incluyen:
- Blass, Andreas (1984). "La existencia de bases implica el axioma de elección". Teoría de conjuntos axiomáticos, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder / Colo. 1983, desprecio. Matemáticas. 31 . págs. 31–34.
- Blass, Andreas; Shelah, Saharon (1987). "Puede haber- y -puntos y el orden de Rudin-Keisler pueden estar dirigidos hacia abajo ". Annals of Pure and Applied Logic . 33 : 213–243. doi : 10.1016 / 0168-0072 (87) 90082-0 . hdl : 2027.42 / 26916 .
- Blass, Andreas (1992). "Un juego de semántica de lógica lineal". Anales de lógica pura y aplicada . 56 (1-3): 183-220. doi : 10.1016 / 0168-0072 (92) 90073-9 . hdl : 2027,42 / 30097 .
- Blass, Andreas; Gurevich, Yuri (2003). "Algoritmos: una búsqueda de definiciones absolutas" (PDF) . Toro. EUR. Assoc. Theor. Computación. Sci. EATCS . 81 : 195-225 . Consultado el 28 de abril de 2008 .