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 9 (2017)

Vol 9 (2017)

Table of Contents

1. [PDF]
On the relation of three theorems of analysis to the axiom of choice
Adrian Felix Dominik Fellhauer
2. [PDF]
Functions of limited accumulation
Imme van den Berg
3. [PDF]
Factorisation of germ-like series
Sonia L'Innocente, Vincenzo Mantova
4. [PDF]
A non-standard approach to a constrained forced oscillator
Dalibor Prazak, Kumbakonam R. Rajagopal, Jakub Slavik
5. [PDF]
Point-free characterisation of Bishop compact metric spaces
Tatsuji Kawai
6. [PDF]
Cardinal invariants of strongly porous sets
Osvaldo Guzmán, Michael Hrušák, Arturo Martinez-Celis
7. [PDF]
Axiomatics for the external numbers of nonstandard analysis
Bruno Miguel Antunes Dinis, Imme Pieter Van den Berg
C0. [PDF]
Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014)
Andrej Bauer, Ulrich Berger, Willem Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler
C1. [PDF]
Clarke's generalized gradient and Edalat's L-derivative
Peter Hertling
C2. [PDF]
A point-free characterisation of Bishop locally compact metric spaces
Tatsuji Kawai
C3. [PDF]
How constructive is constructing measures?
Arno Pauly, Willem Fouché


Journal of Logic and Analysis ISSN: 1759-9008