Page Header

Journal Content

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

Information
  • For Readers
  • For Authors
  • For Librarians


Keywords Gaussian measures Nonstandard analysis R-trees, model theory, metric structures, continuous logic, real-valued structures, model completion, categoricity, stability Representation of integers, Internal set theory, Polynomial congruence Solovay reducibility, Lipschitz continuity, Hölder continuity, computable analysis Spherical integrals computable analysis, computable structure theory, computable probability theory, functional analysis convex functions, constructive analysis, constructive reverse mathematics factoring of integers, nonstandard analysis, unlimited integers, Dickson’s conjecture
  • Home
  • About
  • Login
  • Register
  • Search
  • Current
  • Archives
  • Announcements
  • Log out
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