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 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