Abstracts

Herbrand centenary lecture

Georg Kreisel Aspects of Herbrand's thèse: combinations with contemporary ideas and relations to foundational perennials

Invited lectures

Hans Adler The role of matroids in model theory
Sergei Goncharov On two problems of Turing complexity for strongly minimal theories
Joel David Hamkins Set-theoretic geology
Michiel van Lambalgen Logic in a neuroscience lab
Robert Lubarsky Topological semantics with settling
Nicole Schweikardt Gaifman's locality theorem revisited
Jip Veldman Symmetric submodels and mutual stationarity

Contributed talks

Benno van den Berg Realizability in algebraic set theory
Achim Blumenssath The transduction hierarchy for guarded second-order logic
Eyvind Briseid On some applications of proof mining in metric fixed point theory
Merlin Carl Naproche - logic and linguistics of natural mathematical language
Ionna Dimitriou Successors of singular cardinals in choiceless Chang conjectures
Fernando Ferreira On commuting conversions
Bernhard Irrgang On w₃-chains in P(w₁) mod finite
Javier Legris Formality and universal language in 19th century symbolic logic: the cases of Frege and Schröder
Laurentiu Leustean Recent applications of proof mining in ergodic theory
Johann Makowsky Intriguing graph polynomials
Philipp Schlicht Thin projective equivalence relations
Peter Schuster Calibrating Baire's theorem for closed sets
Lutz Strüngmann The structure of Ext(G, H) in models of ZFC