Page Header

Journal Content

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

Information
  • For Readers
  • For Authors
  • For Librarians


Keywords Computable presentations K-theory Metric structures approximation algorithms, polynomial-time approximation scheme, traveling salesperson problem, analyst traveling salesman problem axiom of choice continuous logic definable sets expansions of the real ordered additive group, fractals, monadic second order theory of one successor iterated ultrapower levels of infinity levels of standardness nonstandard analysis proof mining pseudo-arc rates of convergence recursive inequalities semilattices solenoid subgradient methods 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