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
|