Vol 5 (2013)

Table of Contents

A topological set theory implied by ZF and GPK+
Andreas Fackler
Convergence in formal topology: a unifying notion
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
Solving the Dirichlet problem constructively
Douglas Bridges, Maarten McKubre-Jordens
Embedding an analytic equivalence relation in the transitive closure of a Borel relation
Edward J Green
Dynamic Newton-Puiseux theorem
Bassel Mannaa, Thierry Coquand
Discretisations of higher order and the theorems of Faà di Bruno and DeMoivre-Laplace
Imme van den Berg
Relative computability and uniform continuity of relations
Arno M Pauly, Martin A. Ziegler
Lipschitz functions on topometric spaces
Itaï Ben Yaacov