Vol 5 (2013)

Table of Contents

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

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008