Page Header

Journal Content

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

Information
  • For Readers
  • For Authors
  • For Librarians


Keywords Gaussian measures Nonstandard analysis R-trees, model theory, metric structures, continuous logic, real-valued structures, model completion, categoricity, stability Representation of integers, Internal set theory, Polynomial congruence Solovay reducibility, Lipschitz continuity, Hölder continuity, computable analysis Spherical integrals computable analysis, computable structure theory, computable probability theory, functional analysis convex functions, constructive analysis, constructive reverse mathematics factoring of integers, nonstandard analysis, unlimited integers, Dickson’s conjecture
  • Home
  • About
  • Login
  • Register
  • Search
  • Current
  • Archives
  • Announcements
  • Log out
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