Browse Title Index


 
Issue Title
 
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
 
Vol 10 (2018) Banach spaces from barriers in high dimensional Ellentuck spaces Abstract   5. [PDF]
Alvaro Arias, Natasha Dobrinen, Gabriel Girón-Garnica, José G. Mijares
 
Vol 9 (2017) Cardinal invariants of strongly porous sets Abstract   6. [PDF]
Osvaldo Guzmán, Michael Hrušák, Arturo Martinez-Celis
 
Vol 4 (2012) Cell decomposition for semiaffine structures on p-adic fields Details   14. [PDF]
Eva Leenknegt
 
Vol 9 (2017) Clarke's generalized gradient and Edalat's L-derivative Abstract   C1. [PDF]
Peter Hertling
 
Vol 6 (2014) Compactness of ωλ for λ singular Abstract   2. [PDF]
Paolo Lipparini
 
Vol 2 (2010) Complex spaces and nonstandard schemes Details   9. [PDF]
Adel Khalfallah, Siegmund Kosarew
 
Vol 14 (2022) Computability of convergence rates in the ergodic theorem for Martin-Löf random points Abstract   2. [PDF]
George Davie
 
Vol 12 (2020) Computing the exponent of a Lebesgue space Abstract   7. [PDF]
Timothy McNicholl
 
Vol 3 (2011) Constructive reverse investigations into differential equations Details   8. [PDF]
Hannes Diener, Iris Loeb
 
Vol 2 (2010) Constructive theory of Banach algebras Details   11. [PDF]
Thierry Coquand, Bas Spitters
 
Vol 11 (2019) Constructive uniformities of pseudometrics and Bishop topologies Abstract   FT2. [PDF]
Iosif Petrakis
 
Vol 9 (2017) Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014) Details   C0. [PDF]
Andrej Bauer, Ulrich Berger, Willem Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler
 
Vol 5 (2013) Convergence in formal topology: a unifying notion Details   2. [PDF]
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
 
Vol 4 (2012) Convergence results for function spaces over o-minimal structures Details   1. [PDF]
Margaret E M Thomas
 
Vol 3 (2011) Conway names, the simplicity hierarchy and the surreal number tree Details   1. [PDF]
Philip Ehrlich
 
Vol 15 (2023) Corrigendum: covering entropy for types in tracial W*-algebras Details   2'. [PDF]
David Jekel
 
Vol 15 (2023) Covering entropy for types in tracial W*-algebras Abstract   2. [PDF]
David Jekel
 
Vol 1 (2009) Decomposition of terms in Lucas sequences Details   4. [PDF]
Abdelmadjid Boudaoud
 
Vol 12 (2020) Degrees of and lowness for isometric isomorphism Abstract   6. [PDF]
Johanna N.Y. Franklin, Timothy H. McNicholl
 
Vol 2 (2010) Description of locally finite families from a nonstandard point of view Details   2. [PDF]
Ulf Clotz
 
26 - 50 of 165 Items << < 1 2 3 4 5 6 7 > >>