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 co-analytic sets collapsing hierarchy effective infinitesimals expansions of the real ordered additive group, fractals, monadic second order theory of one successor intuitionistic separation theorems model theory, von Neumann algebra, free entropy, random matrix, strongly 1-bounded, ultraproduct nonstandard analysis o-minimal structures, log-analytic functions, exponential number, preparation theorems proof mining pseudo-arc rates of convergence recursive inequalities solenoid subgradient methods
  • 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


Journal of Logic and Analysis ISSN: 1759-9008