Browse Title Index


 
Issue Title
 
Vol 8 (2016) A coinductive approach to computing with compact sets Abstract   3. [PDF]
Ulrich Berger, Dieter Spreen
 
Vol 1 (2009) A computational aspect of the Lebesgue differentiation theorem Details   9. [PDF]
Noopur Pathak
 
Vol 15 (2023) A computational study of a class of recursive inequalities Details   3. [PDF]
Morenikeji Neri, Thomas Powell
 
Vol 8 (2016) A constructive examination of rectifiability Abstract   4. [PDF]
Douglas Bridges, Matthew Hendtlass, Erik Palmgren
 
Vol 4 (2012) A constructive proof of Simpson’s Rule Details   15. [PDF]
Thierry Coquand, Bas Spitters
 
Vol 10 (2018) A constructive version of the extremum value theorem for spaces of vector-valued functions Abstract   4. [PDF]
Pavel Osinenko, Stefan Streif
 
Vol 4 (2012) A correspondence principle for the Gowers norms Details   4. [PDF]
Henry Towsner
 
Vol 1 (2009) A decomposition of Brouwer’s fan theorem Details   6. [PDF]
Josef Berger
 
Vol 17 (2025) A degree structure on representations of irrational numbers Abstract   FDS2. [PDF]
Amir Ben-Amram, Lars Kristiansen
 
Vol 17 (2025) A density version of a theorem of Banach Abstract   3. [PDF]
David A. Ross
 
Vol 2 (2010) A lambda calculus for real analysis Details   5. [PDF]
Paul Taylor
 
Vol 4 (2012) A logical analysis of the generalized Banach contractions principle Details   17. [PDF]
Alexander P. Kreuzer
 
Vol 4 (2012) A metastable dominated convergence theorem Details   3. [PDF]
Jeremy Avigad, Edward T Dean, Jason Rute
 
Vol 9 (2017) A non-standard approach to a constrained forced oscillator Abstract   4. [PDF]
Dalibor Prazak, Kumbakonam R. Rajagopal, Jakub Slavik
 
Vol 4 (2012) A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis Details   2. [PDF]
Erik Palmgren
 
Vol 9 (2017) A point-free characterisation of Bishop locally compact metric spaces Abstract   C2. [PDF]
Tatsuji Kawai
 
Vol 17 (2025) A point-free look at Ostrowski's theorem and absolute values Abstract   FDS6. [PDF]
Ming Ng, Steven Vickers
 
Vol 17 (2025) A predicative approach to the constructive integration theory of locally compact metric spaces Abstract   FDS4. [PDF]
Fabian Lukas Grubmüller, Iosif Petrakis
 
Vol 5 (2013) A topological set theory implied by ZF and GPK+∞ Details   1. [PDF]
Andreas Fackler
 
Vol 10 (2018) A transfer principle for second-order arithmetic, and applications Abstract   8. [PDF]
Merlin Carl, Asgar Jamneshan
 
Vol 11 (2019) A uniform stability principle for dual lattices Abstract   2. [PDF]
Martin Vodička, Pavol Ján Zlatoš
 
Vol 10 (2018) Abraham Robinson (6 October 1918 - 11 April 1974) Details   6. [PDF]
The Editors
 
Vol 17 (2025) Absoluteness of the Riemann integral Abstract   6. [PDF]
Carlos Mario Parra-Londoño, Andrés Felipe Uribe-Zapata
 
Vol 2 (2010) Addendum and Erratum to “Geometric spaces with no points” Details   6a. [PDF]
Robert Lubarsky
 
Vol 3 (2011) Algebraic properties of external numbers Details   9. [PDF]
Bruno Dinis, Imme van den Berg
 
1 - 25 of 165 Items 1 2 3 4 5 6 7 > >>