ITLI prepublication series

A note on the diagonizable algebras of PA and ZF / V.Yu. Shavrukovschema:ProductModel A note on the interpretability logic of finitely axiomatized theories / Maarten de Rijkeschema:ProductModel Collapsing graph models by preorders / Raymond Hoofman, Harold Schellinxschema:ProductModel Cylindric modal logic / Yde Venemaschema:ProductModel Elementary inductive definitions in HA : from strictly positive towards monotone / Dirk Roordaschema:ProductModel Explicit fixed points for interpretability logic / Dick de Jongh, Albert Visserschema:ProductModel Extending the lambda calculus with surjective pairing is conservative / Roel de Vrijerschema:ProductModel Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman / Jaap van Oostenschema:ProductModel Feasible interpretability / Rineke Verbruggeschema:ProductModel Finite type structures within combinatory algebras / Inge Bethkeschema:ProductModel Going stable in graph models / Inge Bethkeschema:ProductModel History of constructivism in the twentieth century / A.S. Troelstraschema:ProductModel Investigations into classical linear logic / Dirk Roordaschema:ProductModel Isomorphisms and non-isomorphisms of graph models / Harold Schellinxschema:ProductModel Lifshitz' realizability / Jaap van Oostenschema:ProductModel Modal derivation rules / Yde Venemaschema:ProductModel Modal frame classes revisited / Johan van Benthemschema:ProductModel On sequences with simple initial segments / Domenico Zambellaschema:ProductModel On the early history of intuitionistic logic / A.S. Troelstraschema:ProductModel On the metamathematics of weak theories / Alessandro Berarducci, Rineke Verbruggeschema:ProductModel ... show all 37