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 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 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 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
Vol 13 (2021) Almost disjoint families and ultrapowers Abstract   4. [PDF]
Michalis Anoussis, Vaggelis Felouzis, Konstantinos Tsaprounis
Vol 8 (2016) An algebraic weak factorisation system on 01-substitution sets: a constructive proof Abstract   1. [PDF]
Andrew Wakelin Swan
Logic and Analysis Vol 1 (2007-8) Asymptotics of families of solutions of nonlinear difference equations Details   153-185
Imme P. van den Berg
Vol 4 (2012) Axiom of Choice in nonstandard set theory Details   8. [PDF]
Karel Hrbacek
Vol 9 (2017) Axiomatics for the external numbers of nonstandard analysis Abstract   7. [PDF]
Bruno Miguel Antunes Dinis, Imme Pieter Van den Berg
1 - 25 of 145 Items 1 2 3 4 5 6 > >>