| 1 | End compactifications and general compactifications (10.4115/jla.2014.6.7) | Abstract References ORCID License | 120.41 | 15 |
| 2 | Convergence in formal topology: a unifying notion (10.4115/jla.2013.5.2) | Abstract References ORCID License | 117.61 | 14 |
| 3 | The probability distribution as a computational resource for… (10.4115/jla.2010.2.10) | Abstract References ORCID License | 111.39 | 12 |
| 4 | A metastable dominated convergence theorem (10.4115/jla.2012.4.3) | Abstract References ORCID License | 104.14 | 10 |
| 5 | Relative computability and uniform continuity of relations (10.4115/jla.2013.5.7) | Abstract References ORCID License | 100.00 | 9 |
| 6 | Differential geometry via infinitesimal displacements (10.4115/jla.2015.7.5) | Abstract References ORCID License | 100.00 | 9 |
| 7 | Conway names, the simplicity hierarchy and the surreal numbe… (10.4115/jla.2011.3.1) | Abstract References ORCID License | 90.31 | 7 |
| 8 | Reverse mathematics, trichotomy, and dichotomy (10.4115/jla.2012.4.13) | Abstract References ORCID License | 84.51 | 6 |
| 9 | A lambda calculus for real analysis (10.4115/jla.2010.2.5) | Abstract References ORCID License | 77.82 | 5 |
| 10 | Elementary numerosity and measures (10.4115/jla.2014.6.3) | Abstract References ORCID License | 77.82 | 5 |
| 11 | Surreal Analysis: An Analogue of Real Analysis for Surreal N… (10.4115/jla.2014.6.5) | Abstract References ORCID License | 77.82 | 5 |
| 12 | Integrals and valuations (10.4115/jla.2009.1.3) | Abstract References ORCID License | 69.90 | 4 |
| 13 | Addendum and Erratum to “Geometric spaces with no points” (10.4115/jla.2010.2.6a) | Abstract References ORCID License | 69.90 | 4 |
| 14 | Ultrafilters maximal for finite embeddability (10.4115/jla.2014.6.6) | Abstract References ORCID License | 69.90 | 4 |
| 15 | Signed-bit representations of real numbers (10.4115/jla.2009.1.10) | Abstract References ORCID License | 60.21 | 3 |
| 16 | Quantifier elimination in the theory of Lp(Lq)-Banach lattice… (10.4115/jla.2011.3.11) | Abstract References ORCID License | 60.21 | 3 |
| 17 | http://logicandanalysis.org/index.php/jla/article/viewFile/1… (10.4115/jla.2011.3.8) | Abstract References ORCID License | 60.21 | 3 |
| 18 | Convergence results for function spaces over o-minimal struc… (10.4115/jla.2012.4.1) | Abstract References ORCID License | 60.21 | 3 |
| 19 | Cell decomposition for semiaffine structures on padic fields (10.4115/jla.2012.4.14) | Abstract References ORCID License | 60.21 | 3 |
| 20 | Lipschitz functions on topometric spaces (10.4115/jla.2013.5.8) | Abstract References ORCID License | 60.21 | 3 |
| 21 | Effective genericity and differentiability (10.4115/jla.2014.6.4) | Abstract References ORCID License | 60.21 | 3 |
| 22 | An algebraic weak factorisation system on 01-substitution se… (10.4115/jla.2016.8.1) | Abstract References ORCID License | 60.21 | 3 |
| 23 | Axiomatics for the external numbers of nonstandard analysis (10.4115/jla.2017.9.7) | Abstract References ORCID License | 60.21 | 3 |
| 24 | Locally compact Stone duality (10.4115/jla.2018.10.2) | Abstract References ORCID License | 60.21 | 3 |
| 25 | Computing the exponent of a Lebesgue space (10.4115/jla.2020.12.7) | References ORCID License | 58.36 | 5 |
| 26 | Degrees of and lowness for isometric isomorphism (10.4115/jla.2020.12.6) | References ORCID License | 52.42 | 4 |
| 27 | Modular functionals and perturbations of Nakano spaces (10.4115/jla.2009.1.1) | Abstract References ORCID License | 47.71 | 2 |
| 28 | On perturbations of Hilbert spaces and probability algebras… (10.4115/jla.2009.1.7) | Abstract References ORCID License | 47.71 | 2 |
| 29 | A computational aspect of the Lebesgue differentiation theor… (10.4115/jla.2009.1.9) | Abstract References ORCID License | 47.71 | 2 |
| 30 | Complex spaces and nonstandard schemes (10.4115/jla.2010.2.9) | Abstract References ORCID License | 47.71 | 2 |
| 31 | Algebraic properties of external numbers (10.4115/jla.2011.3.9) | Abstract References ORCID License | 47.71 | 2 |
| 32 | Fixed point theorems in constructive mathematics (10.4115/jla.2012.4.10) | Abstract References ORCID License | 47.71 | 2 |
| 33 | Dynamic Newton–Puiseux theorem (10.4115/jla.2013.5.5) | Abstract References ORCID License | 47.71 | 2 |
| 34 | Discretisations of higher order and the theorems of Faà di B… (10.4115/jla.2013.5.6) | Abstract References ORCID License | 47.71 | 2 |
| 35 | How constructive is constructing measures? (10.4115/jla.2017.9.c3) | Abstract References ORCID License | 47.71 | 2 |
| 36 | A constructive version of the extremum value theorem for spa… (10.4115/jla.2018.10.4) | Abstract References ORCID License | 47.71 | 2 |
| 37 | New effective bounds for the approximate common fixed points… (10.4115/jla.2018.10.7) | Abstract References ORCID License | 47.71 | 2 |
| 38 | Sheaf representations and locality of Riesz spaces with orde… (10.4115/jla.2021.13.2) | References ORCID License | 45.15 | 3 |
| 39 | On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and t… (10.4115/jla.2021.13.6) | References License | 42.25 | 6 |
| 40 | Limiting probability measures (10.4115/jla.2020.12.1) | References ORCID License | 35.78 | 2 |
| 41 | Model theory of R-trees (10.4115/jla.2020.12.3) | References ORCID License | 35.78 | 2 |
| 42 | Models of true arithmetic are integer parts of models of rea… (10.4115/jla.2021.13.3) | References ORCID License | 35.78 | 2 |
| 43 | Polish topologies on groups of non-singular transformations (10.4115/jla.2022.14.4) | References ORCID License | 35.78 | 2 |
| 44 | Projective sets, intuitionistically (10.4115/jla.2022.14.5) | References ORCID License | 35.78 | 2 |
| 45 | Localic completion of generalized metric spaces II: Powerloc… (10.4115/jla.2009.1.11) | Abstract References ORCID License | 30.10 | 1 |
| 46 | Nonstandard hulls of locally exponential Lie algebras (10.4115/jla.2009.1.5) | Abstract References ORCID License | 30.10 | 1 |
| 47 | Constructive theory of Banach algebras (10.4115/jla.2010.2.11) | Abstract References ORCID License | 30.10 | 1 |
| 48 | Stability of group homomorphisms in the compact-open topolog… (10.4115/jla.2010.2.3) | Abstract References ORCID License | 30.10 | 1 |
| 49 | Relative set theory: Some external issues (10.4115/jla.2010.2.8) | Abstract References ORCID License | 30.10 | 1 |
| 50 | Radically elementary analysis of an interacting particle sys… (10.4115/jla.2011.3.10) | Abstract References ORCID License | 30.10 | 1 |