Vol 5 (2013)

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

Journal of Logic and Analysis ISSN: 1759-9008