Advanced topics in proof theory
University of Gothenburg
GÖTEBORG
Startdatum:
Slutdatum:
Studietakt: 50 %
Publicerad utbildningskatalog
Advanced topics in proof theory
Utbildningsinformation från den publicerade källan. Utbildningen och dess tidsbundna tillfällen hålls åtskilda.
Utbildningsfakta
Kod: 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.
Behörighet
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.
Utbildningstillfällen
Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.
Källa och uppdatering
Hämtad: .
Publicerad: .
Visa källversion
Publiceringsversion: 8e217193-f5fa-4778-b085-a4521fd03e8d
Kontrollsumma: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Senast ändrad enligt källan: 2026-09-09T08:18:49