Andreas Blass - Andreas Blass

Andreas R. Blass
AndreasBlass.jpg
Prof. Andreas Blass donnant une conférence lors de la conférence "Boise Extravaganza in Set Theory BEST 17", Boise, Idaho , mars 2008
Née 27 octobre 1947
Nationalité  États Unis
Connu pour théorie des ensembles , logique mathématique , informatique théorique .
Carrière scientifique
Des champs Mathématicien
Établissements Université du Michigan
Conseiller de doctorat Frank Wattenberg

Andreas Raphael Blass (né le 27 octobre 1947) est un mathématicien, actuellement professeur à l' Université du Michigan . Il travaille en logique mathématique , en particulier en théorie des ensembles , et en informatique théorique .

Blass est diplômé de l' Université de Détroit , où il a été boursier Putnam , en 1966 avec un BS en physique . Il a obtenu son doctorat. en 1970 de l'Université Harvard , avec une thèse sur les commandes d'ultrafiltres écrite sous la direction de Frank Wattenberg. Depuis 1970, il est employé par l'Université du Michigan, d'abord en tant qu'instructeur de recherche TH Hildebrandt (1970-1972), puis professeur adjoint (1972-1976), professeur agrégé (1976-1984) et depuis 1984, il est professeur titulaire là.

En 2014, il est devenu membre de l'American Mathematical Society.

Publications et résultats sélectionnés

En 1984, Blass a prouvé que l'existence d'une base pour chaque espace vectoriel équivaut à l' axiome du choix . Il a apporté des contributions importantes dans le développement de la théorie des ensembles des réels et du forçage .

Blass fut le premier à souligner les liens entre la sémantique des jeux et la logique linéaire .

Il est l'auteur de plus de 200 articles de recherche en logique mathématique et en informatique théorique, notamment :

  • Blass, Andreas (1984), "L'existence de bases implique l'axiome du choix", Théorie des ensembles axiomatiques (PDF) , Contemporary Mathematics volume 31, Providence, RI: American Mathematical Society , pp. 31-33, ISBN 0-8218-5026-1, MR  0763890
  • Blass, Andreas ; Shelah, Saharon (1987). "Il peut y avoir des points simples - et - et l'ordre Rudin-Keisler peut être dirigé vers le bas". Annales de logique pure et appliquée . 33 : 213-243. doi : 10.1016/0168-0072(87)90082-0 . hdl : 2027.42/26916 .
  • Blass, Andreas (1992). « Une sémantique de jeu pour la logique linéaire ». Annales de logique pure et appliquée . 56 (1–3) : 183–220. doi : 10.1016/0168-0072(92)90073-9 . hdl : 2027,42/30097 .
  • Blass, Andreas ; Gurevich, Youri (2003). « Les algorithmes : une quête de définitions absolues » (PDF) . Taureau. EUR. Assoc. Théor. Calcul. Sci. EATCS . 81 : 195-225 . Récupéré le 2008-04-28 .

Les références

Liens externes