Věnováno různým ne nutně souvisejícím tématům z metamatematiky, neklasických logik a teorie důkazů. Například: autoreference a Logika dokazatelnosti, vztahy mezi variantami teorie množin, kombinatorické principy nezávislé na PA, eliminovatelnost řezů a její kvantitativní aspekty, Gentzenův důkaz bezespornosti PA. Některá témata přednášejí studenti.
Poslední úprava: SVEJDAR (20.09.2014)
Devoted to various not necessarily connected topics in meta-mathematics, non-classical logics and proof theory, like: self-reference and Provability Logic, relations between variants of set theory, combinatorial principles independent of PA, cut elimination and its quantitative aspects, Gentzen's proof of consistency of PA. Some topics are presented by students.
