Page Header

Journal Content

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

Information
  • For Readers
  • For Authors
  • For Librarians


Keywords Analytic sets Automatic continuity Effective convergence rates. Effectively open set Ergodic Theorem Layerwise Computable Lusin's Theorem Martin-Lof random Polish group, Non-singular transformation co-analytic sets collapsing hierarchy computability computable analysis effective infinitesimals expansions of the real ordered additive group, fractals, monadic second order theory of one successor infinite measure-preserving transformation intuitionistic separation theorems nonstandard analysis rates of convergence recursive inequalities subgradient methods
  • 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