Thomas Icard's Overview
|Thomas Icard||A topological study of the closed fragment of GLP
Forthcoming in Journal of Logic and Computation (OUP).
|Thomas Icard||On topological models of GLP
with Lev Beklemishev and Guram Bezhanishvili, in Ways of Proof Theory, Ontos Series in Mathematical Logic.