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 Computable presentations Continuous logic Effective completeness Lusin's Theorem Metric structures Polish group, Non-singular transformation co-analytic sets collapsing hierarchy expansions of the real ordered additive group, fractals, monadic second order theory of one successor infinite measure-preserving transformation intuitionistic separation theorems levels of standardness model theory, von Neumann algebra, free entropy, random matrix, strongly 1-bounded, ultraproduct nonstandard analysis o-minimal structures, log-analytic functions, exponential number, preparation theorems proof mining rates of convergence recursive inequalities subgradient methods
  • Home
  • About
  • Login
  • Register
  • Search
  • Current
  • Archives
  • Announcements
  • Log out
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