Proof Theory

Details

Code 41120
Type Course
ECTS 5
Site Bern
Track(s) T4 – Theory and Logic
Semester A2023

Teaching

Learning Outcomes

Students

  • can use ordinal arithmetic up to epsilon_0
  • know the structure of Peano arithmetic
  • can apply the method of deduction chains to proof completeness of logical systems
  • can apply transfinite cut-elimination procedures to establish consistency
  • are able to establish proof-theoretic lower bounds.
Lecturer(s) Thomas Studer
Language english
Course Page

The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_2793355.html.

Schedules and Rooms

Period Weekly
Schedule Tuesday, 09:15 - 12:00
Location UniBE, ExWi
Room B077

Additional information

Comment

First Lecture
The first lecture will take place on Tuesday, 19.09.2023 at 09:15 in UniBE, ExWi, room B077.