Page Header

Journal Content

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

Information
  • For Readers
  • For Authors
  • For Librarians


Keywords Computable presentations Continua Continuous logic K-theory Metric structures approximation algorithms, polynomial-time approximation scheme, traveling salesperson problem, analyst traveling salesman problem axiom of choice continuous logic definable sets effective infinitesimals levels of infinity levels of standardness nonstandard analysis proof mining pseudo-arc rates of convergence recursive inequalities semilattices solenoid topometric spaces ultrafilter
  • Home
  • About
  • Login
  • Register
  • Search
  • Current
  • Archives
  • Announcements
  • Log out
  • Marginis
Home > Archives > Vol 11 (2019)

Vol 11 (2019)

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
FT5. [PDF]
Frames and topological algebras for a double-power monad
Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria


Journal of Logic and Analysis ISSN: 1759-9008