Journal: Computability

Volume 4, Issue 1

1 -- 17Matthias Schröder, Victor L. Selivanov. 0-spaces
19 -- 56Amir M. Ben-Amram. Mortality of iterated piecewise affine functions over the integers: Decidability and complexity
57 -- 68Henry Towsner. On maximum conservative extensions
69 -- 84Ludovic Patey. The complexity of satisfaction problems in reverse mathematics