Festkolloquium zur Emeritierung von Gerhard Jäger

• ∙

  10:15 - 11:00 Cantini

  —

  "A fixed point theory over stratified truth"

11:00 - 11:30 Coffee Break

• ∙

  11:30 - 12:15 Rathjen

  —

  "The ubiquity of Schütte's search trees"

12:15 - 14:15 Lunch Break

• ∙

  14:15 - 15:00 Schwichtenberg

  —

  "Equality and extensionality"

15:00 - 15:30 Coffee Break

• ∙	15:30 - 16:15 Kahle	—	"Daß ich erkenne, was die Welt
  			Im Innersten zusammenhält"

• ∙

  16:30 - 17:00 Artemov

  —

  "Constructive semantics of classical statements in arithmetic"

• ∙

  09:30 - 10:15 Koepp

  —

  "Searchability of cototal natural numbers"

10:15 - 10:45 Coffee Break

• ∙

  10:45 - 11:30 Pohlers

  —

  "From predicativity to impredicativity"