Completed
Hugo Herbelin: Computing with Markov's principle
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Proofs and Computation Workshop
Automatically move to the next video in the Classroom when playback concludes
- 1 Silvia Steila: An overview over least fixed points in weak set theories
- 2 Paul Shafer:Reverse mathematics of Caristi's fixed point theorem and Ekeland's variational principle
- 3 Iosif Petrakis: Myhill's system CST revisited
- 4 Fedor Pakhomov: Reflection ranks and ordinal analysis
- 5 Arnold Beckmann: Hyper Natural Deduction
- 6 Amir Tabatabai Mining the Surface: Proof mining in the bounded world
- 7 Albert Visser: The absorption law for slow provability
- 8 Sam Sanders (joint with Dag Normann): Uniformity in mathematics
- 9 Anton Freund: Bachmann Howard Fixed Points
- 10 Wilfried Sieg: The Cantor Bernstein Theorem How many proofs
- 11 Sara Negri: Topological generalizations of possible worlds semantics and their proof systems
- 12 Paulo Oliva: On a Dialectica like version of Kleene numerical realizability
- 13 Matthias Baaz: Fast cut elimination in intuitionistic logic
- 14 Bahareh Afshari: Cyclic Modal Proofs
- 15 Lew Gordeew: Predicative proof theory of PDL
- 16 Lars Kristiansen: First order concatenation theory vs first order number theory
- 17 Gunnar Wilken: Pure Sigma 2 Elementarity beyond the Core
- 18 Graham Leigh: On the computational content of classical sequent calculus
- 19 Chuangjie Xu: A syntactic approach to continuity and ....
- 20 Anton Setzer: The extended predicative Mahlo Universe and the need for partial proofs and .......
- 21 Eugenio Orlandelli: Proof theory for quantified monotone modal logics
- 22 Sam Buss: Expanders in VNC^1 and Monotone Propositional Proofs
- 23 Erik Palmgren: A constructive examination of a Russell style ramified type theory
- 24 Harry Altman: Lower sets in products of well ordered sets
- 25 Andrei Sipos: Quantitative results on the method of averaged projections
- 26 Paul Andre Mellies: An introduction to tensorial logic and dialogue categories
- 27 Benno van den Berg: Two observations on intuitionistic logic and arithmetic
- 28 Giuseppe Rosolini: Triposes and Gödel's Dialectica Interpretation
- 29 Hajime Ishihara: Reverse mathematics of non deterministic inductive definitions
- 30 Hugo Herbelin: Computing with Markov's principle
