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 8 (2016)

Vol 8 (2016)

Table of Contents

1. [PDF]
An algebraic weak factorisation system on 01-substitution sets: a constructive proof
Andrew Wakelin Swan
2. [PDF]
PFA and complemented subspaces of ℓ∞/c0
Alan Dow
3. [PDF]
A coinductive approach to computing with compact sets
Ulrich Berger, Dieter Spreen
4. [PDF]
A constructive examination of rectifiability
Douglas Bridges, Matthew Hendtlass, Erik Palmgren


Journal of Logic and Analysis ISSN: 1759-9008