Page Header

Journal Content

Browse
  • By Issue
  • By Author
  • By Title
Font Size

Information
  • For Readers
  • For Authors
  • For Librarians


Keywords Computable presentations K-theory Metric structures approximation algorithms, polynomial-time approximation scheme, traveling salesperson problem, analyst traveling salesman problem axiom of choice continuous logic definable sets expansions of the real ordered additive group, fractals, monadic second order theory of one successor iterated ultrapower levels of infinity levels of standardness nonstandard analysis proof mining pseudo-arc rates of convergence recursive inequalities semilattices solenoid subgradient methods topometric spaces ultrafilter
  • Home
  • About
  • Login
  • Register
  • Search
  • Current
  • Archives
  • Announcements
  • Log out
  • Marginis
Home > Archives > 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