School of Mathematics

Search site

Department of Pure Mathematics

Proofs, Constructions and Computations Seminar

Semester 1, 2017-2018

Seminars will be held on Wednesdays at 2 pm, usually in MALL 2 in the Mathematics Building (see below for exceptions). To receive invitations by e-mail, please contact A.J.Freund14@leeds.ac.uk.

 

Forthcoming seminars
Wed 25th October, 2017
2:00 PM

Takako Nemoto (JAIST)
Weak Koenig’s lemma for convex trees

 

Past seminars
Wed 18th October, 2017
2:00 PM

Michael Rathjen (Leeds)
In memoriam Solomon Feferman
Wed 4th October, 2017
2:00 PM

Paul Shafer (Leeds)
The Medvedev and Muchnik degrees
Wed 28th June, 2017
2:00 PM

Douglas Bridges (University of Canterbury, Christchurch, New Zealand)
Morse Set Theory as a Foundation for Constructive Mathematics
Wed 21st June, 2017
2:00 PM

Charles Harris (University of Leeds)
A brief introduction to Enumeration Reducibility and the Enumeration Degrees
Wed 17th May, 2017
2:00 PM

Paul Shafer (University of Leeds)
Reverse mathematics and the strong Tietze extension theorem
Wed 10th May, 2017
2:00 PM

Anton Freund (University of Leeds)
An Introduction to Dilators
Wed 3rd May, 2017
2:00 PM

Fredrik Nordvall Forsberg (University of Strathclyde)
Variations on inductive-recursive definitions
Wed 26th April, 2017
2:00 PM

Nicola Gambino (University of Leeds)
On the axioms for identity types
Wed 29th March, 2017
2:00 PM

Anton Freund (University of Leeds)
A Proof-Theoretic Approach to Slow Consistency
Wed 22nd March, 2017
2:00 PM

Mark Carney (University of Leeds)
A PA undecidable Domino Problem
Wed 15th March, 2017
2:00 PM

François Dorais (University of Vermont)
PROVI and ACA_0^+
Wed 8th March, 2017
2:00 PM

Peter Aczel (University of Manchester)
An Outline of a Variant of Jamie Gabbay's recent proof of the Consistency of Quine's NF
Wed 1st March, 2017
2:00 PM

Nicola Gambino (University of Leeds)
Relative pseudo-monads
Wed 22nd February, 2017
2:00 PM

Laura Crosilla (University of Leeds)
Predicativity, Nelson, Parsons and Dummett
Wed 8th February, 2017
2:00 PM

Charles Harris (University of Leeds)
Linearisations and the Ershov Hierarchy
Wed 1st February, 2017
2:00 PM

Eman Dihoum (University of Leeds)
Realizability with truth for arbitrary partial combinatory algebras
Wed 18th January, 2017
2:00 PM

Stan Wainer (University of Leeds)
Higher Type Computability: Platek-Scott-Ershov Computability
Wed 11th January, 2017
2:00 PM

Stan Wainer (University of Leeds)
Higher Type Computability: Kleene Recursion in Higher Types
Wed 7th December, 2016
2:00 PM

Nicola Gambino (University of Leeds)
Some free constructions in proof theory (and model theory?)
Wed 23rd November, 2016
2:00 PM

Michael Rathjen (University of Leeds)
On the proof-theoretic strength of type theories, including HoTT's
Wed 9th November, 2016
2:00 PM

Anton Freund (University of Leeds)
An Introduction to the Ordinal Analysis of Kripke-Platek Set Theory
Wed 2nd November, 2016
2:00 PM

Marco Larrea Schiavon (University of Leeds)
Models of Dependant Type Theory from Algebraic Weak Factorization Systems
Wed 12th October, 2016
2:00 PM

Richard Whyman (University of Leeds)
Computing and computing efficiently with an arbitrary physical theory
Wed 5th October, 2016
2:00 PM

Raffael Stenzel (University of Leeds)
A bisimplicial model for infinity-groupoids
Wed 28th September, 2016
2:00 PM

Takako Nemoto (JAIST)
Non-deterministic inductive definitions and Fullness
Wed 15th June, 2016
2:00 PM

Michael Rathjen (University of Leeds)
Better slow than listless.
Wed 8th June, 2016
2:00 PM

Cesare Gallozzi (University of Leeds)
Coding ordinals in a linear type theory
Wed 1st June, 2016
2:00 PM

Michael Toppel (University of Leeds)
An Ordinal-Analysis of Elementary Arithmetic
Wed 4th May, 2016
2:00 PM

Andrew Swan (University of Leeds)
Automorphisms of Partial Combinatory Algebras
Wed 20th April, 2016
2:00 PM

Nicola Gambino (University of Leeds)
What is an operad?
Wed 9th March, 2016
2:00 PM

Nicola Gambino (University of Leeds)
Voevodsky's theory of C-systems
Wed 2nd March, 2016
2:00 PM

Andrew Swan (University of Leeds)
Nerves in Constructive Mathematics
Wed 24th February, 2016
2:00 PM

Anton Freund (University of Leeds)
Slow Provability - a summary of results
Wed 10th February, 2016
2:00 PM

Stan Wainer (University of Leeds)
Some generalized Goodstein-type independence results
Wed 27th January, 2016
2:00 PM

Michael Rathjen (University of Leeds)
On Feferman's second conjecture
Wed 25th November, 2015
2:00 PM

Andrew Swan (University of Leeds)
Lifschitz Realizability as a Topological Construction (jww Michael Rathjen)
Wed 11th November, 2015
2:00 PM

Christian Sattler (University of Leeds)
Connections and the uniform Frobenius property
Wed 4th November, 2015
2:00 PM

Andrew Swan (University of Leeds)
Identity Types in Algebraic Model Structures
Wed 28th October, 2015
2:00 PM

Nicola Gambino (University of Leeds)
On the simplicial and cubical models of univalent foundations
Wed 21st October, 2015
2:00 PM

Anton Freund (University of Leeds)
Where some Sigma_1-formulas are really provable
Wed 14th October, 2015
2:00 PM

Takako Nemoto ( JAIST)
Independence of premiss rule and independence of premiss axiom
Wed 7th October, 2015
2:00 PM

Michael Toppel (University of Leeds)
Not a speed-up: proof-complexity and a rejection of instrumentalism - Part 2
Wed 30th September, 2015
2:00 PM

Michael Toppel (University of Leeds)
Not a speed-up: proof-complexity and a rejection of instrumentalism
Wed 24th June, 2015
2:00 PM

Cesare Gallozzi (University of Leeds)
A basic introduction to linear logic
Wed 17th June, 2015
2:00 PM

Michael Rathjen (University of Leeds)
Remarks on geometric theories II
Wed 20th May, 2015
2:00 PM

Andrew Swan (University of Leeds)
Shulman's Proof of Canonicity for 1-Truncated Univalent Type Theory
Wed 13th May, 2015
2:00 PM

Nicola Gambino (University of Leeds)
2-rings
Wed 6th May, 2015
2:00 PM

Anton Freund (University of Leeds)
Explaining the Curry-Howard Correspondence for Classical Logic
Wed 18th March, 2015
2:00 PM

Peter Aczel (University of Manchester)
On the Consistency Problem for Quine's New Foundations, NF
Wed 11th March, 2015
2:00 PM

Anton Freund (University of Leeds)
Iterated Slow Consistency
Wed 4th March, 2015
2:00 PM

Nicola Gambino (University of Leeds)
What is a model of a dependent type theory?
Wed 25th February, 2015
2:00 PM

Michael Rathjen (University of Leeds)
The multiverse perspective
Wed 11th February, 2015
2:00 PM

Michael Rathjen (University of Leeds)
More on the status of the continuum hypothesis
Wed 4th February, 2015
2:00 PM

Martin Krombholz (University of Leeds)
Combinatorial independence results: Kruskal, graph minor and all that (Part 2)
Wed 28th January, 2015
2:00 PM

Peter Schuster (University of Leeds)
Back and Forth
Wed 21st January, 2015
2:00 PM

Martin Krombholz (University of Leeds)
Combinatorial independence results: Kruskal, graph minor and all that
Wed 10th December, 2014
2:00 PM

Christian Sattler (Leeds)
Parametric W-types
Wed 3rd December, 2014
2:00 PM

Davide Rinaldi (Leeds)
The Krull Lemma as a Conservativity Result
Wed 26th November, 2014
2:00 PM

Albert Ziegler (Leeds)
Realizability Models for Measurability
Wed 12th November, 2014
2:00 PM

Stan Wainer (Leeds)
A Miniaturized Predicativity
Wed 29th October, 2014
2:00 PM

Andrew Swan (Leeds)
Introduction to Nominal Sets
Wed 22nd October, 2014
2:00 PM

Jaime Gabbay
What sequent quantifier rules tell us about nominal semantics for logic
Wed 15th October, 2014
2:00 PM

Michael Toppel (Leeds)
Completeness of intuitionisitc connectives by Franz von Kutschera
Wed 8th October, 2014
2:00 PM

Andrew Swan (Leeds)
An Algebraic Weak Factorisation System on 01-Substitution Sets
Wed 1st October, 2014
2:00 PM

Nicola Gambino (Leeds)
Some results in the formal theory of monads
Wed 24th September, 2014
2:00 PM

Peter Aczel (Manchester)
Notions of Set
Wed 17th September, 2014
2:00 PM

Michael Rathjen (Leeds)
Large Sets, Gödel, and Rational Theology
Wed 10th September, 2014
2:00 PM

Andrew Swan (Leeds)
Set Theoretical Concepts in Type Theory
Wed 21st May, 2014
2:00 PM

Peter Schuster (Leeds)
On the metamathematics of commutative rings
Wed 21st May, 2014
1:00 PM

Eman Dihoum (Leeds)
The graph model
Wed 14th May, 2014
2:00 PM

Alec Thomson (Leeds)
Well-ordering principles and omega models
Wed 30th April, 2014
2:00 PM

Andrew Swan (Leeds)
Sum, product and identity types in cubical sets
Thu 3rd April, 2014
3:30 PM

Gerhard Jäger (Bern)
Some ontological comparisons: Explicit mathematics and operational set theory.
Wed 19th March, 2014
2:00 PM

Andrew Swan (Leeds)
The uniform Kan condition and the symmetric Kan condition.
Wed 12th March, 2014
2:00 PM

Christian Espindola (Stockholm University)
Semantic completeness in constructive reverse mathematics
Wed 5th March, 2014
2:00 PM

Peter Aczel (Manchester)
Nominal Signatures
Wed 19th February, 2014
2:00 PM

Peter Schuster (Leeds)
Toward unwinding a minimal-bad-element argument
Wed 12th February, 2014
2:00 PM

Andrew Swan (Leeds)
The cubical sets model for HoTT 2
Wed 5th February, 2014
4:00 PM

Andrew Swan (Leeds)
The cubical sets model for HoTT 1
Wed 5th February, 2014
2:00 PM

Peter Hancock
Mahlo in IR-land
Wed 22nd January, 2014
2:00 PM

Michael Toppel (Leeds)
What is the best metatheory for ordinal analysis?
Wed 15th January, 2014
2:00 PM

Michael Rathjen (Leeds)
Power Kripke-Platek set theory and global choice
Wed 11th December, 2013
2:00 PM

Andrew Swan (Leeds)
Non-definability in intuitionistic logic
Wed 4th December, 2013
2:00 PM

Jeroen Van der Meeren (Ghent)
Gap-sequences
Wed 27th November, 2013
2:15 PM

Michael Rathjen (Leeds)
On a conjecture of Feferman's: Is CH a definite mathematical problem?
Wed 27th November, 2013
1:00 PM

Anton Freund (Munich)
A model of set theory in which all sets of reals are Lebesgue measurable