• Home
• About
• Login
• Register
• Search
• Current
• Archives
• Announcements
• Log out

Home > Archives > 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