Advanced topics in proof theory
University of Gothenburg
GÖTEBORG
Start date:
End date:
Pace of study: 50 %
Published education catalogue
Advanced topics in proof theory
Education information from the published source. The education record and its time-bound offerings are kept separate.
Education facts
Code: LOG365
The course delves into some advanced topics in proof theory, the mathematical and philosophical study of mathematical proof. Topics covered may include: proof theory of strong arithmetics, set theories and subsystems second-order analysis; ordinal analysis; proof theory of infinitary logic(s); predicativism and constructivism in mathematics; axiomatic theories of truth and provability; and ‘non-standard’ proof systems such as nested, hyper-sequent and ill-founded sequent calculi.
Entry requirements
For admission to the course successful completion of Proof Theory (LOG221), or the equivalent, is required. In addition, language proficiency equivalent to English 6 is required.
Education offerings
Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.
Source and updates
Retrieved: .
Published: .
Show source version
Publication version: 8e217193-f5fa-4778-b085-a4521fd03e8d
Checksum: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Last changed according to the source: 2026-09-09T08:18:49