Канал: Proof Theory Virtual Seminar

Virtuous Circles in Proofs

Virtuous Circles in Proofs

Proofs as Objects: The Second Face of Proof Theory

Proofs as Objects: The Second Face of Proof Theory

Fast-growing hierarchies, ordinal collapsing, and Pi-1-1-CA0

Fast-growing hierarchies, ordinal collapsing, and Pi-1-1-CA0

Conservativity of Weak Kőnig's Lemma (a proof from the book)

Conservativity of Weak Kőnig's Lemma (a proof from the book)

Learning from Bounded Arithmetic

Learning from Bounded Arithmetic

Up and Down the Lambek Calculus

Up and Down the Lambek Calculus

Comparing Rules for Identity in sequent systems & natural deduction

Comparing Rules for Identity in sequent systems & natural deduction

Goodstein Sequences and Notation Systems for Natural Numbers

Goodstein Sequences and Notation Systems for Natural Numbers

Focusing Gentzen's LK proof system

Focusing Gentzen's LK proof system

Herbrand Complexity and the Epsilon Calculus

Herbrand Complexity and the Epsilon Calculus

Cut Elimination as Error Correcting Device

Cut Elimination as Error Correcting Device

Proof Mining and the 'Lion-Man' Game

Proof Mining and the 'Lion-Man' Game

Fixed Points meet Löb's Rule

Fixed Points meet Löb's Rule

Benchmarking Linear Logic

Benchmarking Linear Logic

Far Beyond Goodman's Theorem?

Far Beyond Goodman's Theorem?

Propositional proof systems and bounded arithmetic for logspace and nondeterministic logspace

Propositional proof systems and bounded arithmetic for logspace and nondeterministic logspace