home |
research |
teaching |
links |
Leeds–Ghent Virtual Logic
Seminar |

- Paul Shafer (University of Leeds)
- David Fernández-Duque (Ghent University)
- Andreas Weiermann
(Ghent University)

- 13 May 2021

Rosalie Iemhoff (Utrecht University)

*Logical inference in constructive theories*

- 6 May 2021

Andreas Weiermann (Ghent University)

*Something special about addition and multiplication of natural numbers*

- 29 April 2021

Carolin Antos (University of Konstanz)

*Mathematics, meta-mathematics, and conceptual change*

- 15 April 2021

Adrian R. D. Mathias (LIM, Université de la Réunion)

*The eternal question: Where should definitions go?*

*Part 2: The logophilia of economists*

- 8 April 2021

Adrian R. D. Mathias (LIM, Université de la Réunion)

*The eternal question: Where should definitions go?*

Part 1: The logophobia of mathematicians

- 18 March 2021

Aleksandra Kwiatkowska (University of Münster and University of Wrocław)

*Simplicity of the automorphism groups of countable structures*

- 4 March 2021

Jack Woods III (University of Leeds)

*Generic Validity*

- 25 February 2021

Vincenzo Mantova (University of Leeds)

*Surreal numbers and simplicity*

- 18 February 2021

David Fernández-Duque (Ghent University)

*The topological mu-calculus*

- 4 February 2021

Richard Matthews (University of Leeds)

*Ordinal oddities*

- 28 January 2021

Ekaterina Fokina (Vienna University of Technology)

*Learning structures*

- 19 November 2020

Laurent Bienvenu (University of Bordeaux)

*On low for speed oracles*

- 12 November 2020

Paul Levy (University of Birmingham)

*Broad infinity and generation principles*

- 5 November 2020

Sandra Müller (University of Vienna)

*Determinacy and inner models*

- 29 October 2020

Lev Beklemishev (Steklov Mathematical Institute, Russian Academy of Sciences)

*Reflection algebras for theories of iterated truth definitions*

- 22 October 2020

Graham Leigh (University of Gothenburg)

*On normal forms for ill-founded proofs*

- 15 October 2020

Gabriel Conant (University of Cambridge)

*A new proof of the stable arithmetic regularity lemma*

- 8 October 2020

Bjarki Benediktsson (University of Leeds)

*Vapnik–Chervonenkis dimension and density on Johnson and Hamming graphs*

- 1 October 2020

Ana de Almeida Borges (University of Barcelona)

*Quantified reflection calculus with one modality*

- 24 September 2020

Bea Adam-Day (University of Leeds)

*Making the alpha-subcompactness of kappa indestructible*

- 17 September 2020

David Bélanger (Ghent University)

*Learnability with positive equivalence relations*

- 10 September 2020

Philipp Schlicht (University of Bristol)

*Borel sets in effective descriptive set theory*

- 3 September 2020

Lorenzo Carlucci (Sapienza University of Rome)

*Hindman-type theorems from countable to uncountable*

- 13 August 2020

Michael Rathjen (University of Leeds)

*The existence property for set theories*

- 6 August 2020

Juan Aguilera (Ghent University)

*The reverse mathematics of Sigma^0_3 games of length omega^2*

- 23 July 2020

Anton Freund (TU Darmstadt)

*Mathematical independence without extensional invariants*

- 16 July 2020

Francesco Gallinaro (University of Leeds)

*Results of existential closedness of raising to powers type*

- 9 July 2020

Sina Hazratpour (University of Leeds)

*Kripke-Joyal Semantics For Homotopy Type Theory*

- 2 July 2020

Richard Matthews (University of Leeds)

*Constructing the constructible universe constructively*

- 25 June 2020

Adrian R. D. Mathias (LIM, Université de la Réunion)

*Flutters and Chameleons*

- 18 June 2020

John Howe (University of Leeds)

*Ramsey degrees of Lambda-ultrametric spaces*

- 11 June 2020

Gabriele Lobbia (University of Leeds)

*Distributive laws for relative monads*

- 4 June 2020

Milette Gillow (University of Leeds)

*The chromatic number of the generalised shift graph*

- 28 May 2020

Giovanni Soldà (University of Leeds)

*Some questions concerning Rival-Sands for graphs and posets*

- 21 May 2020

Rosario Mennuni (University of Leeds)

*The domination monoid in o-minimal theories*