Mimar Sinan Fine Arts University Mathematics Department Seminars

Effectively closed sets
Ahmet Çevik
METU, Turkey
Özet : An effectively closed set, i.e. Pi^0_1 class, may be viewed as the set of infinite paths through a computable tree. Complexity of members of effectively closed sets has resulted in rich and well developed theory. We give recent results on Turing degrees of members of such classes. Although some familiarity with the notion of Turing computability would help, we shall first review basic recursion theoretic notions and then introduce effectively closed sets with its applications in mathematics.
  Tarih : 17.03.2017
  Saat : 15:00
  Yer : Seminar room, Bomonti Campus, MSGSÜ
  Dil : English
  Not : Please, note the unusual day.