Vol 11 (2019)

Table of Contents

Value groups and residue fields of models of real exponentiation
Lothar Sebastian Krapp
A uniform stability principle for dual lattices
Martin Vodička, Pavol Ján Zlatoš
Preface to the special issue for The Fifth Workshop on Formal Topology
Thierry Coquand, Maria Emilia Maietti, Erik Palmgren
Reducibility, a constructive dual of spatiality
Francesco Ciraulo, Giovanni Sambin
Constructive uniformities of pseudometrics and Bishop topologies
Iosif Petrakis
Principles of bar induction and continuity on Baire space
Tatsuji Kawai
Sketches for arithmetic universes
Steven Vickers