04-00-0263-vu Realizability

Course offering details

Instructors: Prof. Dr. rer. nat. Thomas Streicher

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: 04-00-0263-vu

Subject:

Crediting for:

Hours per week: 3

Credits: 4,5

Language of instruction: Englisch

Min. | Max. participants: - | -

Course Contents:
realizability, modified Realizability, assemblies, tripos, effective topos

Literature
Appointments
Date From To Room Instructors
1 Th, 14. Apr. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
2 Th, 21. Apr. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
3 Th, 28. Apr. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
4 Th, 5. May 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
5 Th, 12. May 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
6 Th, 19. May 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
7 Th, 26. May 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
8 Th, 9. Jun. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
9 Th, 16. Jun. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
10 Th, 30. Jun. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
11 Th, 7. Jul. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
12 Th, 14. Jul. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  •  
  •  
  •  
Instructors
Prof. Dr. rer. nat. Thomas Streicher