Vol 8 (2016)

Table of Contents

An algebraic weak factorisation system on 01-substitution sets: a constructive proof
Andrew Wakelin Swan
PFA and complemented subspaces of ℓ/c0
Alan Dow
A coinductive approach to computing with compact sets
Ulrich Berger, Dieter Spreen
A constructive examination of rectifiability
Douglas Bridges, Matthew Hendtlass, Erik Palmgren