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

FDS6. [PDF]

A point-free look at Ostrowski's theorem and absolute values

Ming Ng, Steven Vickers

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