Model Theory
Alessandro Berarducci
Definable groups in o-minimal structures
Definable groups in o-minimal structures
John Baldwin
Quasiminimal sets and categoricity in abstract elementary classes
Quasiminimal sets and categoricity in abstract elementary classes
Set Theory
Hugh Woodin
Extender models and the inner model problem for supercompact cardinals and beyond
Extender models and the inner model problem for supercompact cardinals and beyond
Tomek Bartoszynski
Measure and category from set-theoretic viewpoint
Measure and category from set-theoretic viewpoint
Recursion Theory
Frank Stephan
Kolmogorov complexity
Kolmogorov complexity
Alberto Marcone
Logical aspects of wqo theory
Logical aspects of wqo theory
Universal Algebra
Matthew Valeriote
The Constraint Satisfaction Problem and Universal Algebra
The Constraint Satisfaction Problem and Universal Algebra
Proof Theory
Grigori Mints
Intuitionistic Frege Systems are Polynomially Equivalent
Intuitionistic Frege Systems are Polynomially Equivalent
Michael Möllerfeld
On the proof theory of Π-1-2-comprehension
On the proof theory of Π-1-2-comprehension
Logic and Philosophy
Göran Sundholm
The METAlinguistic Turn
The METAlinguistic Turn
Guglielmo Tamburrini
Computation and the explanation of intelligent behaviours: ethologically motivated restart
Computation and the explanation of intelligent behaviours: ethologically motivated restart