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.
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 an open access journal and it is not necessary for readers to register or log in. See
INFORMATION For Readers for further details.
Previous volumes: Vol 1 (2009),
Vol 2 (2010),
Vol 3 (2011)
Vol 4 (2012)
|
1. [PDF]
|
Convergence results for function spaces over o-minimal structures |
|
Margaret E M Thomas |
|
|
2. [PDF]
|
A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis |
|
Erik Palmgren |
|
|
3. [PDF]
|
A metastable dominated convergence theorem |
|
Jeremy Avigad, Edward T Dean, Jason Rute |
|
|
4. [PDF]
|
A correspondence principle for the Gowers norms |
|
Henry Towsner |
|
|
5. [PDF]
|
Generating the Pfaffian closure with total Pfaffian functions |
|
Gareth Jones, Patrick Speissegger |
|
|
6. [PDF]
|
More reverse mathematics of the Heine-Borel Theorem |
|
Jeffry L Hirst, Jessica Miller |
|
|
7. [PDF]
|
The Vitali covering theorem in constructive mathematics |
|
Hannes Diener, Anton Hedin |
|
|
8. [PDF]
|
Axiom of Choice in nonstandard set theory |
|
Karel Hrbacek |
|
|
9. [PDF]
|
Projective maximal families of orthogonal measures with large continuum |
|
Vera Fischer, Sy David Friedman, Asger Törnquist |
|
This
work is licensed under a
Creative Commons Attribution 3.0 License.
Journal of Logic and Analysis ISSN: 1759-9008