Page Header

Journal Content

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

Information
  • For Readers
  • For Authors
  • For Librarians


Keywords Continua Existentially closed models Kuratowski’s problem axiom of choice constructive Topology continuous logic definable sets derivatives effective infinitesimals expansions of the real ordered additive group, fractals, monadic second order theory of one successor hyperreals idempotent ultrafilters iterated ultrapower levels of infinity levels of standardness nonstandard analysis recursive inequalities space-filling curves 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