Journal: Annals of Pure and Applied Logic

Volume 83, Issue 3

199 -- 223E. A. Cichon, Andreas Weiermann. Term Rewriting Theory for the Primitive Recursive Functions
225 -- 247Jens Blanck. Domain Representability of Metric Spaces
249 -- 299Alessandra Carbone. Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus

Volume 83, Issue 2

103 -- 164Alessandro Andretta, John Steel. How to Win Some Simple Iteration Games
165 -- 198Kai Hauser, Greg Hjorth. Strong Cardinals in the Core Model

Volume 83, Issue 1

1 -- 22Kitty L. Holland. Strongly Minimal Fusions of Vector Spaces
23 -- 101Jonathan P. Seldin. On the Proof Theory of Coquand s Calculus of Constructions