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

- Paul Shafer (University of Leeds)

- 04 May 2022

Paola D'Aquino (Università degli Studi della Campania "Luigi Vanvitelli")

*Residue rings of model of Peano arithmetic*

- 27 April 2022

Assia Mahboubi (INRIA)

*Continuity in dependent type theory*

- 22 April 2022

Thomas Forster (University of Cambridge)

*Synonymy and the Quine systems*

- 23 March 2022

John Truss (University of Leeds)

*The small index property for superatomic Boolean algebras*

- 16 March 2022

Patrick Uftring (TU Darmstadt)

*Weak and strong versions of effective transfinite recursion*

- 09 March 2022

Arturo Rodriguez Fanlo (University of Oxford)

*Piecewise hyperdefinable groups and rough approximate subgroups*

- 02 March 2022

Zeinab Galal (University of Leeds)

*A combinatorial approach to polynomial functors*

- 23 February 2022

Mehrnoosh Sadrzadeh (University College London)

*Copying and permutation in substructural logics*

- 16 February 2022

Dugald Macpherson (University of Leeds)

*Definable sets in finite structures*

- 09 February 2022

Johanna Franklin (Hofstra University)

*Highness in computable structure theory*

- 02 February 2022

Richard Matthews (University of Leeds)

*Big classes and the respected model*

- 26 January 2022

Pantelis Eleftheriou (University of Leeds)

*Decomposing definable groups*

- 15 December 2021

Ivan Di Liberti (Czech Academy of Sciences)

*Context, judgement, deduction*

- 24 November 2021

Damir Dzhafarov (University of Connecticut)

*Some old and new uses of the tree labeling method*

- 17 November 2021

Darío García (Universidad de los Andes)

*Pseudofiniteness and measurability of the everywhere infinite forest*

- 10 November 2021

Katarzyna Kowalik (University of Warsaw)

*Variants of Ramsey's theorem over RCA*_0*

- 03 November 2021

Mohammad Golshani (Institute for Research in Fundamental Sciences, IPM)

*Ultraproducts and the continuum hypothesis*

- 27 October 2021

Philip Welch (University of Bristol)

*The universe constructed from a set (or class) of (regular) cardinals*

- 20 October 2021

Bahareh Afshari (University of Gothenburg)

*Cyclic proof systems for modal logics*

- 13 October 2021

Fedor Pakhomov (Ghent University and the Steklov Mathematical Institute of the Russian Academy of Sciences)

*Reducing ω-model reflection to iterated syntactic reflection*

- 06 October 2021

Nicola Gambino (University of Leeds)

*Kripke-Joyal semantics for type theory*

- 13 May 2021

Rosalie Iemhoff (Utrecht University)

*Logical inference in constructive theories*

- 06 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*

- 08 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*

- 04 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*

- 04 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*

- 05 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*

- 08 October 2020

Bjarki Benediktsson (University of Leeds)

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

- 01 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*

- 03 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*

- 06 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*

- 09 July 2020

Sina Hazratpour (University of Leeds)

*Kripke-Joyal Semantics For Homotopy Type Theory*

- 02 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*

- 04 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*