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 15 (2023)

Vol 15 (2023)

Table of Contents

1. [PDF]
On preparation theorems for Ran, exp-definable functions
Andre Opris
2. [PDF]
Covering entropy for types in tracial W*-algebras
David Jekel
2'. [PDF]
Corrigendum: covering entropy for types in tracial W*-algebras
David Jekel
3. [PDF]
A computational study of a class of recursive inequalities
Morenikeji Neri, Thomas Powell
4. [PDF]
Generalized effective completeness for continuous logic
Caleb Camrud
5. [PDF]
Fractals and the monadic second order theory of one successor
Philipp Hieronymi, Erik Walsberg
6. [PDF]
Peano and Osgood theorems via effective infinitesimals
Karel Hrbacek, Mikhail Katz


Journal of Logic and Analysis ISSN: 1759-9008