Issue | Title | |
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 | ||
Vol 17 (2025) | Topometric Characterization of Type Spaces in Continuous Logic | Abstract 1. [PDF] |
James Hanson | ||
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 | ||
151 - 159 of 159 Items | << < 1 2 3 4 5 6 7 |