Journal of Logic and Analysis

This journal examines the interaction between ideas or techniques from mathematical logic and other areas of mathematics, especially, but not limited to, pure and applied analysis. The Journal of Logic and Analysis publishes papers in nonstandard analysis and related areas of applied model theory; papers involving interplay between mathematics and logic (including foundational aspects of such interplay); and mathematical papers using or developing analytical methods having connections to any area of mathematical logic.

The Journal of Logic and Analysis is an officially sponsored journal of the Association for Symbolic Logic. It is hosted and maintained by the Department of Philosophy at Carnegie Mellon University, and receives support from the Roger Sorrells Engineering and Science library at Carnegie Mellon University. It is an open access journal and it is not necessary for readers to register or log in. See INFORMATION For Readers for further details.

The journal is a natural successor to Logic and Analysis, published by SpringerWienNewYork and now discontinued. With Springer's permission, we have made the papers published in Logic and Analysis available here. The introduction to the first issue is still applicable.

Previous volumes: 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016

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é

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008