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