Vol 4 (2012)

Table of Contents

Convergence results for function spaces over o-minimal structures
Margaret E M Thomas
A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis
Erik Palmgren
A metastable dominated convergence theorem
Jeremy Avigad, Edward T Dean, Jason Rute
A correspondence principle for the Gowers norms
Henry Towsner
Generating the Pfaffian closure with total Pfaffian functions
Gareth Jones, Patrick Speissegger
More reverse mathematics of the Heine-Borel Theorem
Jeffry L Hirst, Jessica Miller
The Vitali covering theorem in constructive mathematics
Hannes Diener, Anton Hedin
Axiom of Choice in nonstandard set theory
Karel Hrbacek
Projective maximal families of orthogonal measures with large continuum
Vera Fischer, Sy David Friedman, Asger Törnquist
Fixed point theorems in constructive mathematics
Matthew Hendtlass
Relative set theory: Strong stability
Karel Hrbacek
On uniform canonical bases in Lp lattices and other metric structures
Itaï Ben Yaacov
Reverse mathematics, trichotomy, and dichotomy
François G Dorais, Jeffry L Hirst, Paul Shafer
Cell decomposition for semiaffine structures on p-adic fields
Eva Leenknegt
A constructive proof of Simpson’s Rule
Thierry Coquand, Bas Spitters
Regions in the nonstandard plane that contain no standard points
Steven C. Leth
A logical analysis of the generalized Banach contractions principle
Alexander P. Kreuzer