Table of Contents
|
1. [PDF]
|
Value groups and residue fields of models of real exponentiation |
|
Lothar Sebastian Krapp |
|
2. [PDF]
|
A uniform stability principle for dual lattices |
|
Martin Vodička, Pavol Ján Zlatoš |
|
FT0. [PDF]
|
Preface to the special issue for The Fifth Workshop on Formal Topology |
|
Thierry Coquand, Maria Emilia Maietti, Erik Palmgren |
|
FT1. [PDF]
|
Reducibility, a constructive dual of spatiality |
|
Francesco Ciraulo, Giovanni Sambin |
|
FT2. [PDF]
|
Constructive uniformities of pseudometrics and Bishop topologies |
|
Iosif Petrakis |
|
FT3. [PDF]
|
Principles of bar induction and continuity on Baire space |
|
Tatsuji Kawai |
|
FT4. [PDF]
|
Sketches for arithmetic universes |
|
Steven Vickers |
This work is licensed under a
Creative Commons Attribution 3.0 License.
Journal of Logic and Analysis ISSN: 1759-9008
