Browse Title Index


 
Issue Title
 
Vol 1 (2009) Relative set theory: Internal view Details   8. [PDF]
Karel Hrbacek
 
Vol 2 (2010) Relative set theory: Some external issues Details   8. [PDF]
Karel Hrbacek
 
Vol 4 (2012) Relative set theory: Strong stability Details   11. [PDF]
Karel Hrbacek
 
Vol 12 (2020) Representation of integers: a nonclassical point of view Abstract   4. [PDF]
Bellaouar Djamel, Boudaoud Abdelmadjid
 
Vol 4 (2012) Reverse mathematics, trichotomy, and dichotomy Details   13. [PDF]
François G Dorais, Jeffry L Hirst, Paul Shafer
 
Vol 13 (2021) Sheaf representations and locality of Riesz spaces with order unit Abstract   2. [PDF]
Antonio Di Nola, Giacomo Lenzi, Luca Spada
 
Vol 1 (2009) Signed-bit representations of real numbers Details   10. [PDF]
Robert Lubarsky, Fred Richman
 
Vol 11 (2019) Sketches for arithmetic universes Abstract   FT4. [PDF]
Steven Vickers
 
Vol 12 (2020) Solovay reducibility and continuity Abstract   2. [PDF]
Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki
 
Vol 5 (2013) Solving the Dirichlet problem constructively Details   3. [PDF]
Douglas Bridges, Maarten McKubre-Jordens
 
Vol 16 (2024) Some semilattices of definable sets in continuous logic Abstract   3. [PDF]
James Hanson
 
Vol 2 (2010) Splitting in solvable groups of finite Morley rank Details   4. [PDF]
Olivier Frécon
 
Vol 2 (2010) Stability of group homomorphisms in the compact-open topology Details   3. [PDF]
Pavol Zlatos
 
Vol 3 (2011) Subspace structure of some operator and Banach spaces Details   2. [PDF]
Timur Oikhberg, Christian Rosendal
 
Vol 6 (2014) Surreal analysis: an analogue of real analysis for surreal numbers Details   5. [PDF]
Simon Rubinstein-Salzedo, Ashvin Anand Swaminathan
 
Vol 7 (2015) The interplay of classes of algorithmically random objects Abstract   7. [PDF]
Quinn Culver, Christopher P Porter
 
Vol 2 (2010) The probability distribution as a computational resource for randomness testing Abstract   10. [PDF]
Bjørn Kjos-Hanssen
 
Vol 4 (2012) The Vitali covering theorem in constructive mathematics Details   7. [PDF]
Hannes Diener, Anton Hedin
 
Vol 16 (2024) Time complexity of the analyst's traveling salesman algorithm Abstract   2. [PDF]
Anthony Ramirez, Vyron Vellis
 
Logic and Analysis Vol 1 (2007-8) Topometric spaces and perturbations of metric structures Details   235-272
Itaï Ben Yaacov
 
Vol 6 (2014) Ultrafilters maximal for finite embeddability Abstract   6. [PDF]
Lorenzo Luperi Baglini
 
Vol 3 (2011) Uniform liftings of continuous mappings Details   4. [PDF]
Alexander P Pyshchev
 
Vol 3 (2011) Unique paths as formal points Details   6. [PDF]
Thierry Coquand, Peter Schuster
 
Vol 11 (2019) Value groups and residue fields of models of real exponentiation Abstract   1. [PDF]
Lothar Sebastian Krapp
 
126 - 149 of 149 Items << < 1 2 3 4 5 6