default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Analysis, Volume 17
Volume 17, 2025
- Maria Emilia Maietti, Ning Zhong:
Preface to the special issue for the 75th birthday of Dieter Spreen. - Francesco Ciraulo:
Kuratowski's problem in constructive Topology. - Amir M. Ben-Amram, Lars Kristiansen:
A degree structure on representations of irrational numbers. - Andrej Bauer:
Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem. - Fabian Lukas Grubmüller, Iosif Petrakis:
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces. - Manon Blanc, Olivier Bournez:
Simulation of Turing machines with analytic discrete ODEs: Polynomial-time and space over the reals characterised with discrete ordinary differential equations. - James E. Hanson:
Topometric Characterization of Type Spaces in Continuous Logic. - Timothy Hugh McNicholl, Brian Rudolph Zilli:
On the complexity of spectra of bounded analytic functions. - David A. Ross:
A density version of a theorem of Banach. - Ming Ng, Steven Vickers:
A point-free look at Ostrowski's theorem and absolute values. - Vincent Bagayoko:
On ordered groups of regular growth rates. - Srivatsav Kunnawalkam Elayavalli, David Gao:
On finite index subfactors of super McDuff II_1 factors. - David Ross:
Errata: a density version of a theorem of Banach. - Carlos Mario Parra-Londoño, Andrés Felipe Uribe-Zapata:
Absoluteness of the Riemann integral. - Bellaouar Djamel, Abdelmadjid Boudaoud:
Representation of unlimited integers as the product of integers with some constraints.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-12 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
