Talks by section

Speakers are shown in bold. Click on a title to show the abstract. You can also download a book of abstracts.

Plenary talks

Hannes Leitgeb
Ramsification and Semantic Indeterminacy (slides)
Thomas Scanlon
Over six decades of the model theory of valued fields
Dilip Raghavan
Higher cardinal invariants
Jan Krajíček
Model theory and proof complexity (slides)
Zoé Chatzidakis
Notions of difference closures of difference fields (slides)
Gil Sagi
Logic and natural language: commitments and constraints (slides)
Samson Abramsky
Relating Structure and Power: a junction between categorical semantics, model theory and descriptive complexity
Michael Rathjen
Well-ordering principles in proof theory and reverse mathematics (slides)
Vincenzo de Risi
Drawing Lines through Rivers and Cities. The Meaning of Postulates from Euclid to Hilbert
Ulrich Kohlenbach
Local proof-theoretic foundations, proof-theoretic tameness and proof mining (slides)
Rineke Verbrugge
Zero-one laws for provability logic and some of its siblings (slides)
Osvaldo Guzman
The ultrafilter and almostdisjointness numbers (slides)
Martin Ziegler
Logic of Computing with Continuous Data: Foundations of Numerical Software Engineering (slides)
Matthew Harrison-Trainor
Describing countable structures (slides)

Invited Special Session talks

Set Theory Session

Andy Zucker
Bernoulli disjointness (slides)
Yair Hayut
Stationary Reflection at the successor of a singular cardinal (slides)
Heike Mildenberger, Saharon Shelah
Generalised Miller forcing may collapse cardinals (slides)

Model Theory Session

Angus Macintyre
Model theory of adeles. Arithmetic equivalence
Francesco Parente
Model-theoretic properties of ultrafilters and universality of forcing extensions
Ayse Berkman
Sharp actions of groups in the finite Morley rank context (slides)
Philip Dittmann
Models of the common theory of algebraic extensions of the rational numbers

Reflection Principles and Modal Logic Session

Fedor Pakhomov
A weak set theory that proves its own consistency
Albert Visser
Löb's logic and the Lewis arrow (slides)
Emil Jeřábek
Arithmetical and propositional reflection principles (slides)
Ali Enayat
Some recent news about truth theories (slides)

Proof Theory and Proof Complexity Session

Neil Thapen
Induction, search problems and approximate counting (slides)
Sara Negri
Syntax for semantics
Olaf Beyersdorff
Proof complexity of quantified Boolean formulas (slides)
Pedro Pinto
Proof mining with the bounded functional interpretation (slides)
Bahareh Afshari
An infinitary treatment of fixed point modal logic
Thomas Powell
A new application of proof mining in the fixed point theory of uniformly convex Banach spaces

Computability Session

Laurent Bienvenu, Barbara Csima, Matthew Harrison-Trainor
Some questions of uniformity in algorithmic randomness (slides)
Wesley Calvert, Douglas Cenzer, Valentina Harizanov
Approximately computable equivalence structures
Noah Schweber
More effective cardinal characteristics
Denis Hirschfeldt
Computability theory, reverse mathematics, and Hindman's Theorem (slides)

Foundations of Geometry Session

John Mumma
Diagrams and parallelism
Michael Beeson
On the notion of equal figures in Euclid (slides)
Pierre Boutry
Towards an independent version of Tarski's system of geometry (slides)
Gianluca Paolini
First-order model theory of free projective planes (slides)

Contributed talks

Set Theory

John Howe
Ramsey degrees of structures with equivalence relations (slides)
Sourav Tarafder
Foundations of mathematics in a model of paraconsistent set theory
Marta Vlasáková
Frege's attitude towards sets (slides)
Frode A. Bjordal
Capture and Array – Replacement, Specification and Choice
Joanna Jureczko
New results on partitioner-representable algebras
Noah Schoem
Destruction of ideal saturation (slides)
Evgeny Gordon
On extension of Haar measure in $\sigma$-compact groups
Maxwell Levine
Singular Cardinals of Uncountable Cofinality (slides)
Borisa Kuzeljević
Antichains of copies of ultrahomogeneous structures (slides)
Dorottya Sziráki
Perfect sets and games on generalized Baire spaces (slides)
Jaroslav Šupina
Cardinal invariants and ideal convergence (slides)

Model Theory

Jan Hubička, Matěj Konečný, Jaroslav Nešetřil
On Hrushovski properties of Hrushovski constructions
David M. Evans, Jan Hubička, Matěj Konečný, Yibei Li
Simplicity of automorphism groups of generalised metric spaces
Andrés Aranda, David Hartman
MB-homogeneous graphs
John Baldwin
On strongly minimal Steiner systems: Zilber's conjecture, universal algebra, and combinatorics
Dmitry Emelyanov, Beibut Kulpeshov, Sergey Sudoplatov
On compositions of structures and compositions of theories (slides)
Inessa Pavlyuk, Sergey Sudoplatov
On ranks for families of theories of finite abelian groups (slides)
Tomáš Jakl
On connections between logic on words and limits of graphs (slides)
David Bradley-Williams
Canonical invariants for t-stratifications
Sam van Gool
Monadic second order logic as a model companion (slides)
Sergey Davidov, Senik Alvrtsyan, Davit Shahnazaryan
Invertible binary algebras principally isotopic to a group (slides)
Rosario Mennuni
Product of invariant types modulo domination-equivalence (slides)
Alice Medvedev, Alexander Van Abel
The Feferman-Vaught Theorem and products of finite fields (slides)
Johan Lindberg
Constructive semantics and the Joyal-Tierney representation theorem
Emanuele Bottazzi
An existence result for a class of partial differential equations (slides)
Aleksander Iwanow
Pseudocompact unitary representations of finitely generated groups (slides)
Hirotaka Kikyo
On automorphism groups of Hrushovski's pseudoplanes in rational cases (slides)
Christian Espindola
Preservation theorems for strong first-order logics (slides)
Miguel Campercholi
Dominions in filtral quasivarieties (slides)
Michael Lieberman, Jiří Rosický, Sebastien Vasey
Weak factorization systems and stable independence
Sebastien Vasey
Forking and categoricity in non-elementary model theory (slides)
Thomas Kucera, Marcos Mazari-Armida
On universal modules with pure embeddings (slides)
Pedro H. Zambrano
Tameness in classes of generalized metric structures: quantale-spaces, fuzzy sets, and sheaves (slides)
Junguk Lee, Daniel Max Hoffmann
Elementary theories of PAC structures via Galois groups (slides)

Reflection Principles and Modal Logic

Mateusz Łełyk
Nonequivalent axiomatizations of $\mathbf{PA}$ and the Tarski Boundary
Bartosz Wcisło
Topological models of arithmetic
Mahfuz Rahman Ansari, A V Ravishankar Sarma
Constraints on selection function: A critique of Lewis-Stalnakers semantics for counterfactuals
A. V. Ravishankar Sarma
Belief revision based on abductive reasoning
Luciana Garbayo
Dependence logic & medical guidelines disagreement: an informational (in)dependence analysis
Emanuele Frittaion
The uniform reflection principle in second order arithmetic (slides)
Joost Joosten
Hyperarithmetical Turing progressions
Taishi Kurahashi
Derivability conditions and the second incompleteness theorem
Larisa Maksimova, Veta Yun
On strong recognizability of the intuitionistic logic
Ilya Shapirovsky
Satisfiability problems on sums of Kripke frames
Tadeusz Litak
Algebras for preservativity
Igor Sedlár
Fixpoints in generalized Lambek calculus
Joseph Boudou, Martínn Diéguez, David Fernández-Duque
A Complete Intuitionistic Temporal Logic for Topological Dynamics (slides)
Sergey Drobyshevich, Sergei Odintsov
Towards a classification of algebraizable FDE-based modal logics (slides)
Amirhossein Akbar Tabatabai
The BHK interpretation: looking through Gödel’s classical lens

Proof Theory and Proof Complexity

Toshiyasu Arai
Some results in proof theory
Andreas Weiermann
A unifying approach to Goodstein principles (slides)
Sam Sanders
Umpteen parallel hierarchies and the Gödel hierarchy (slides)
José M. Méndez, Gemma Robles, Francisco Salto
Falsity constants for two independent families of quasi-Boolean logics
Satoru Niki, Peter Schuster
On Scott's semantics for many-valued logic (slides)
Marta Gawek, Agata Tomczyk
Translation of Sequent Calculus into Natural Deduction for Sentential Calculus with Identity
Luiz Carlos Pereira, Edward Hermann Haeusler
New ecumenical systems
Guillermo Badia, Petr Cintula, Andrew Tedder
How much propositional logic suffices for Rosser's undecidability theorem? (slides)
Paolo Baldi, Petr Cintula, Carles Noguera
On classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory
Libor Běhounek
Non-monotonic abstract multiset consequence relations (slides)
Anahit Chubaryan, Artur Khamisyan
On the proof complexity in two universal proof system for all versions of many-valued logics (slides)
Yong Cheng
The limit of incompleteness for Weak Arithmetics (slides)
Anahit Chubaryan, Garik Petrosyan, Sergey Sayadyan
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics (slides)
Amirhossein Akbar Tabatabai, Raheleh Jalali
On the logical implications of proof forms (slides)
Andrei Sipos
Bounds on strong unicity for Chebyshev approximation with bounded coefficients (slides)
Satoru Kuroda
On Takeuti-Yasumoto forcing (slides)
Ranjan Mukhopadhyay
Cut elimination and Restall's defining rules
Martin Maxa
Feasible incompleteness (slides)
Mattias Granberg Olsson, Graham Leigh
Partial conservativity of $\widehat{\mathrm{ID}}^i_1$ over Heyting arithmetic via realizability. (slides)
Iris van der Giessen
Intuitionistic provability logic
Anna Glenszczyk
Intuitionistc control logic: an overview
Joachim Mueller-Theys
Multi-valued interpretations
Andrzej Indrzejczak
Admissibility of Cut for Sequent Calculus related to $n$-labelled Tableaux (slides)
José Espírito Santo, Gilda Ferreira
An embedding of $\mathbf{IPC}$ into $\mathbf{F}_{\mathbf{at}}$ not relying on instantiation overflow (slides)
Franco Parlamento, Flavio Previale, Federico Munini
The subterm property for some equality sequent calculi

Computability

Julia Knight, Alexandra Soskova, Stefan Vatev
Effective coding and decoding structures (slides)
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev
Cohesive powers of $\omega$ (slides)
Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev
Computable embeddings for pairs of linear orderings
Nikolay Bazhenov, Manat Mustafa, Mars Yamaleev
Computable reducibility, and isomorphisms of distributive lattices (slides)
Robert Lubarsky
Feedback hyperjump (slides)
Svetlana Aleksandrova, Nikolay Bazhenov
On $\Sigma^0_n-$classifications
Marta Fiori Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà
Reverse Mathematics of some principles related to partial orders (slides)
Michal Tomasz Godziszewski, Dino Rossegger, Luca San Mauro
Quotient presentations of structures
Nikolay Bazhenov, Dino Rossegger, Luca San Mauro, Maxim Zubkov
On bi-embeddable categoricity of linear orders
Damir Zainetdinov
Limitwise monotonic reducibility of sets and $\Sigma$-definability of abelian groups
Ilya Vlasov
On enumerations of families of sets of computableelements of metric spaces
Patrick Lutz, James Walsh
Descending sequences of hyperdegrees and the second incompleteness theorem (slides)
Michael Stephen Fiske
Quantum Random Self-Modifiable Computation (slides)
Rachael Alvir
Scott complexity and finitely $\alpha$-generated structures
Alexey Ryzhkov, Alexey Stukachev, Marina Stukacheva
Interval semantics for natural languages and effective interpretability over the reals
Manat Mustafa, Sergey Ospichev
About Rogers semilattices of finite families in Ershov hierarchy (slides)
Natalia Korneeva
Prefix decidable infinitewords for natural subsets of the set of context-free languages
Andrey Morozov, Jamalbek Tussupov
On minimal elements in the $\Delta$-reducibility on families of predicates

Foundations of Geometry

Ryszard Mirek
Euclidean Geometry
Davit Harutyunyan, Aram Nazaryan, Victor Pambuccian
The Hajja-Martini inequality in a weak absolute geometry (slides)
Tatyana Ivanova, Tinko Tinchev
First-order theory of lines in Euclidean plane (slides)
Philippe Balbiani, Tinko Tinchev
Computability of contact logics with measure
David Pierce
Apollonian proof (slides)
Piotr Błaszczyk
Axioms for Euclid's Elements book V, their consequences and some independence results
Marlena Fila, Piotr Blaszczyk
Limits of diagrammatic reasoning
Grzegorz Sitek
Mereological model of arithmetic of natural and real numbers

General

Alexandre Madeira, Manisha Jain, Manuel Martins
Towards Invariant bisimulations for parametric multi-valued dynamic logics
Ryota Akiyoshi, Andrew Arana
On Gaisi Takeuti's philosophy of mathematics (slides)
Tomasz Polacik
Archetypal Rules: Beyond Classical Logic
Harold Hodes
Ramified-types for states of affairs
Iaroslav Petik
Reading Feyerabend: from epistemic anarchism to anarchism in foundations of formal systems
Francisco Martinez Herrera
Justifications and the Lewis argument on ECQ: a relevant note (slides)
James Appleby
Resolving Two Paradoxes About Knowledge States in the Foundations of Intuitionistic Analysis (slides)
Meha Mishra, A.V. Ravishankar Sarma
An inconsistency tolerant paraconsistent deontic logic of moral conflicts
Ricardo Nicolás-Francisco, Luis Estrada-González
Negation can be just what it has to
Oguz Korkmaz
Belief as a quantum bit
Pavel Arazim
Logical systems as pedagogical and perhaps existential games
Luis Estrada-González, Claudia, Lucía Tanús-Pimentel
Content-sharing in relevant mathematics
Thomas Macaulay Ferguson, Elisangela Ramirez-Camara
The Limit of the Strict-Tolerant Hierarchy is Essentially Classical and Even If It’s Just LP, That’s Probably Okay.
Sena Bozdag
A hyperintensional and paraconsistent approach to belief dynamics (slides)
Vedran Čačić, Marko Doko, Marko Horvat
Rearranging absolutely convergent well-ordered series in Banach spaces
Vedran Čačić, Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoć
Complexity of some fragments of description logics
Ludovica Conti
One or more Logicisms