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 |
This work is licensed under a
Creative Commons Attribution 3.0 License.
Journal of Logic and Analysis ISSN: 1759-9008
