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 2 (2010)

Vol 2 (2010)

Table of Contents

1. [PDF]
Open sublocales of localic completions
Erik Palmgren
2. [PDF]
Description of locally finite families from a nonstandard point of view
Ulf Clotz
3. [PDF]
Stability of group homomorphisms in the compact-open topology
Pavol Zlatos
4. [PDF]
Splitting in solvable groups of finite Morley rank
Olivier Frécon
5. [PDF]
A lambda calculus for real analysis
Paul Taylor
6. [PDF]
Geometric spaces with no points
Robert Lubarsky
6a. [PDF]
Addendum and Erratum to “Geometric spaces with no points”
Robert Lubarsky
7. [PDF]
Harmonic measure and subanalytically tame measures
Tobias Kaiser
8. [PDF]
Relative set theory: Some external issues
Karel Hrbacek
9. [PDF]
Complex spaces and nonstandard schemes
Adel Khalfallah, Siegmund Kosarew
10. [PDF]
The probability distribution as a computational resource for randomness testing
Bjørn Kjos-Hanssen
11. [PDF]
Constructive theory of Banach algebras
Thierry Coquand, Bas Spitters


Journal of Logic and Analysis ISSN: 1759-9008