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 Effective completeness Existentially closed models K-theory Metric structures approximation algorithms, polynomial-time approximation scheme, traveling salesperson problem, analyst traveling salesman problem continuous logic definable sets effective infinitesimals expansions of the real ordered additive group, fractals, monadic second order theory of one successor model theory, von Neumann algebra, free entropy, random matrix, strongly 1-bounded, ultraproduct nonstandard analysis proof mining pseudo-arc recursive inequalities semilattices solenoid subgradient methods topometric spaces
  • Home
  • About
  • Login
  • Register
  • Search
  • Current
  • Archives
  • Announcements
  • Log out
  • Marginis
Home > Archives > Vol 17 (2025)

Vol 17 (2025)

Table of Contents

FDS0. [PDF]
Preface to the special issue for the 75th birthday of Dieter Spreen
Maria Emilia Maietti, Ning Zhong
FDS1. [PDF]
Kuratowski's problem in constructive Topology
Francesco Ciraulo
FDS2. [PDF]
A degree structure on representations of irrational numbers
Amir Ben-Amram, Lars Kristiansen
FDS3. [PDF]
Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem
Andrej Bauer
FDS4. [PDF]
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces
Fabian Lukas Grubmüller, Iosif Petrakis
FDS5. [PDF]
Simulation of Turing machines with analytic discrete ODEs: Polynomial-time and space over the reals characterised with discrete ordinary differential equations
Manon Blanc, Olivier Bournez
1. [PDF]
Topometric Characterization of Type Spaces in Continuous Logic
James Hanson
2. [PDF]
On the complexity of spectra of bounded analytic functions
Timothy Hugh McNicholl, Brian Rudolph Zilli
3. [PDF]
A density version of a theorem of Banach
David A. Ross


Journal of Logic and Analysis ISSN: 1759-9008