default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/jla:"
download as .bib file
@article{DBLP:journals/jla/ChristCDKSY24,
author = {Michael Christ and
James Demmel and
Nicholas Knight and
Thomas Scanlon and
Katherine A. Yelick},
title = {On Multilinear Inequalities of Holder-Brascamp-Lieb Type for Torsion-Free
Discrete Abelian Groups},
journal = {J. Log. Anal.},
volume = {16},
year = {2024},
url = {http://logicandanalysis.org/index.php/jla/article/view/313},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/ChristCDKSY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/EagleL24,
author = {Christopher J. Eagle and
Joshua Lau},
title = {K-theory of co-existentially closed continua},
journal = {J. Log. Anal.},
volume = {16},
year = {2024},
url = {http://logicandanalysis.org/index.php/jla/article/view/515},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/EagleL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hanson24,
author = {James Hanson},
title = {Some semilattices of definable sets in continuous logic},
journal = {J. Log. Anal.},
volume = {16},
year = {2024},
url = {http://logicandanalysis.org/index.php/jla/article/view/493},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Hanson24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hrbacek24,
author = {Karel Hrbacek},
title = {Multi-level Nonstandard Analysis and the Axiom of Choice},
journal = {J. Log. Anal.},
volume = {16},
year = {2024},
url = {http://logicandanalysis.org/index.php/jla/article/view/526},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Hrbacek24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hrbacek24a,
author = {Karel Hrbacek},
title = {Errata: multi-level nonstandard analysis and the axiom of choice},
journal = {J. Log. Anal.},
volume = {16},
year = {2024},
url = {http://logicandanalysis.org/index.php/jla/article/view/537},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Hrbacek24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/RamirezV24,
author = {Anthony Ramirez and
Vyron Vellis},
title = {Time complexity of the analyst's traveling salesman algorithm},
journal = {J. Log. Anal.},
volume = {16},
year = {2024},
url = {http://logicandanalysis.org/index.php/jla/article/view/516},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/RamirezV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Camrud23,
author = {Caleb Camrud},
title = {Generalized effective completeness for continuous logic},
journal = {J. Log. Anal.},
volume = {15},
year = {2023},
url = {http://logicandanalysis.org/index.php/jla/article/view/457},
timestamp = {Wed, 04 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Camrud23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hieronymi23,
author = {Philipp Hieronymi},
title = {Fractals and the monadic second order theory of one successor},
journal = {J. Log. Anal.},
volume = {15},
year = {2023},
url = {http://logicandanalysis.org/index.php/jla/article/view/448},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hieronymi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/HrbacekK23,
author = {Karel Hrbacek and
Mikhail G. Katz},
title = {Peano and Osgood theorems via effective infinitesimals},
journal = {J. Log. Anal.},
volume = {15},
year = {2023},
url = {http://logicandanalysis.org/index.php/jla/article/view/499},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/HrbacekK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Jekel23,
author = {David Jekel},
title = {Covering entropy for types in tracial W\({}^{\mbox{*}}\)-algebras},
journal = {J. Log. Anal.},
volume = {15},
year = {2023},
url = {http://logicandanalysis.org/index.php/jla/article/view/468},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Jekel23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Jekel23a,
author = {David Jekel},
title = {Corrigendum: covering entropy for types in tracial W\({}^{\mbox{*}}\)-algebras},
journal = {J. Log. Anal.},
volume = {15},
year = {2023},
url = {http://logicandanalysis.org/index.php/jla/article/view/506},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Jekel23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/NeriP23,
author = {Morenikeji Neri and
Thomas Powell},
title = {A computational study of a class of recursive inequalities},
journal = {J. Log. Anal.},
volume = {15},
year = {2023},
url = {http://logicandanalysis.org/index.php/jla/article/view/469},
timestamp = {Wed, 04 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/NeriP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Opris23,
author = {Andre Opris},
title = {On preparation theorems for R\({}_{\mbox{an, exp}}\)-definable functions},
journal = {J. Log. Anal.},
volume = {15},
year = {2023},
url = {http://logicandanalysis.org/index.php/jla/article/view/450},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Opris23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BottazziE22,
author = {Emanuele Bottazzi and
Monroe Eskew},
title = {Integration with filters},
journal = {J. Log. Anal.},
volume = {14},
year = {2022},
url = {http://logicandanalysis.org/index.php/jla/article/view/403},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BottazziE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Davie22,
author = {George Davie},
title = {Computability of convergence rates in the ergodic theorem for Martin-L{\"{o}}f
random points},
journal = {J. Log. Anal.},
volume = {14},
year = {2022},
url = {http://logicandanalysis.org/index.php/jla/article/view/383},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Davie22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Maitre22,
author = {Fran{\c{c}}ois Le Ma{\^{\i}}tre},
title = {Polish topologies on groups of non-singular transformations},
journal = {J. Log. Anal.},
volume = {14},
year = {2022},
url = {http://logicandanalysis.org/index.php/jla/article/view/453},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Maitre22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Miller22,
author = {Russell G. Miller},
title = {Effectivizing Lusin's Theorem},
journal = {J. Log. Anal.},
volume = {14},
year = {2022},
url = {http://logicandanalysis.org/index.php/jla/article/view/382},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Miller22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Veldman22,
author = {Wim Veldman},
title = {Projective sets, intuitionistically},
journal = {J. Log. Anal.},
volume = {14},
year = {2022},
url = {http://logicandanalysis.org/index.php/jla/article/view/472},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Veldman22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/AnoussisFT21,
author = {Michalis Anoussis and
Vaggelis Felouzis and
Konstantinos Tsaprounis},
title = {Almost disjoint families and ultrapowers},
journal = {J. Log. Anal.},
volume = {13},
year = {2021},
url = {http://logicandanalysis.org/index.php/jla/article/view/398},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/AnoussisFT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/ArthanO21,
author = {Rob Arthan and
Paulo Oliva},
title = {On the Borel-Cantelli Lemmas, the Erd{\H{o}}s-R{\'{e}}nyi Theorem,
and the Kochen-Stone Theorem},
journal = {J. Log. Anal.},
volume = {13},
year = {2021},
url = {http://logicandanalysis.org/index.php/jla/article/view/412},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/ArthanO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CarlK21,
author = {Merlin Carl and
Lothar Sebastian Krapp},
title = {Models of true arithmetic are integer parts of models of real exponentation},
journal = {J. Log. Anal.},
volume = {13},
year = {2021},
url = {http://logicandanalysis.org/index.php/jla/article/view/298},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/CarlK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/NolaLS21,
author = {Antonio Di Nola and
Giacomo Lenzi and
Luca Spada},
title = {Sheaf representations and locality of Riesz spaces with order unit},
journal = {J. Log. Anal.},
volume = {13},
year = {2021},
url = {http://logicandanalysis.org/index.php/jla/article/view/395},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/NolaLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Todorov21,
author = {Todor D. Todorov},
title = {Infinite-dimensional linear algebra and solvability of partial differential
equations},
journal = {J. Log. Anal.},
volume = {13},
year = {2021},
url = {http://logicandanalysis.org/index.php/jla/article/view/376},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Todorov21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Zlatos21,
author = {Pavol Zlatos},
title = {Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the
hyperfinite setting},
journal = {J. Log. Anal.},
volume = {13},
year = {2021},
url = {http://logicandanalysis.org/index.php/jla/article/view/255},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Zlatos21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Zlatos21a,
author = {Pavol Jan Zlatos},
title = {Gordon's Conjecture 3: Fourier transforms in the hyperfinite setting},
journal = {J. Log. Anal.},
volume = {13},
year = {2021},
url = {http://logicandanalysis.org/index.php/jla/article/view/409},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Zlatos21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Alam20,
author = {Irfan Alam},
title = {Limiting probability measures},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/1},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Alam20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CarlisleH20,
author = {Sylvia Carlisle and
C. Ward Henson},
title = {Model theory of R-trees},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/3},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CarlisleH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/DienerH20,
author = {Hannes Diener and
Matthew Hendtlass},
title = {Differentiating convex functions constructively},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/8},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/DienerH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/DjamelB20,
author = {Bellaouar Djamel and
Abdelmadjid Boudaoud},
title = {Representation of integers: a nonclassical point of view},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/4},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/DjamelB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/FranklinM20,
author = {Johanna N. Y. Franklin and
Timothy H. McNicholl},
title = {Degrees of and lowness for isometric isomorphism},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/6},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/FranklinM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hrbacek20,
author = {Karel Hrbacek},
title = {On factoring of unlimited integers},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/5},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hrbacek20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/KumabeMMS20,
author = {Masahiro Kumabe and
Kenshi Miyabe and
Yuki Mizusawa and
Toshio Suzuki},
title = {Solovay reducibility and continuity},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/2},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/KumabeMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/McNicholl20,
author = {Timothy H. McNicholl},
title = {Computing the exponent of a Lebesgue space},
journal = {J. Log. Anal.},
volume = {12},
year = {2020},
url = {http://logicandanalysis.org/index.php/jla/article/view/7},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/McNicholl20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CirauloS19,
author = {Francesco Ciraulo and
Giovanni Sambin},
title = {Reducibility, a constructive dual of spatiality},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/345/146},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CirauloS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CoquandMP19,
author = {Thierry Coquand and
Maria Emilia Maietti and
Erik Palmgren},
title = {Preface to the special issue for The Fifth Workshop on Formal Topology},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/380/148},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CoquandMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/FrosoniRS19,
author = {Giulia Frosoni and
Giuseppe Rosolini and
Alessio Santamaria},
title = {Frames and topological algebras for a double-power monad},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/389/153},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/FrosoniRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Kawai19,
author = {Tatsuji Kawai},
title = {Principles of bar induction and continuity on Baire space},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/342/151},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Kawai19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Krapp19,
author = {Lothar Sebastian Krapp},
title = {Value groups and residue fields of models of real exponentiation},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/351/143},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Krapp19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Petrakis19,
author = {Iosif Petrakis},
title = {Constructive uniformities of pseudometrics and Bishop topologies},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/339/150},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Petrakis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Vickers19,
author = {Steven Vickers},
title = {Sketches for arithmetic universes},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/340/152},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Vickers19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/VodickaZ19,
author = {Martin Vodicka and
Pavol Zlatos},
title = {A uniform stability principle for dual lattices},
journal = {J. Log. Anal.},
volume = {11},
year = {2019},
url = {http://logicandanalysis.org/index.php/jla/article/view/294/144},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/VodickaZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Argyraki18,
author = {Angeliki Koutsoukou{-}Argyraki},
title = {New effective bounds for the approximate common fixed points and asymptotic
regularity of nonexpansive semigroups},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/301/141},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Argyraki18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/AriasDGM18,
author = {Alvaro Arias and
Natasha Dobrinen and
Gabriel Gir{\'{o}}n{-}Garnica and
Jos{\'{e}} G. Mijares},
title = {Banach spaces from barriers in high dimensional Ellentuck spaces},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/322/138},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/AriasDGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/AsperoT18,
author = {David Asper{\'{o}} and
Konstantinos Tsaprounis},
title = {Long reals},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/302/125},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/AsperoT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BiceS18,
author = {Tristan Bice and
Charles Starling},
title = {Locally compact Stone duality},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/287/126},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BiceS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CarlJ18,
author = {Merlin Carl and
Asgar Jamneshan},
title = {A transfer principle for second-order arithmetic, and applications},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/330/142},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CarlJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/MiyabeNS18,
author = {Kenshi Miyabe and
Andr{\'{e}} Nies and
Frank Stephan},
title = {Randomness and Solovay degrees},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/317/128},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/MiyabeNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/OsinenkoS18,
author = {Pavel Osinenko and
Stefan Streif},
title = {A constructive version of the extremum value theorem for spaces of
vector-valued functions},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/286/129},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/OsinenkoS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/X18,
title = {Abraham Robinson {(6} October 1918 - 11 April 1974)},
journal = {J. Log. Anal.},
volume = {10},
year = {2018},
url = {http://logicandanalysis.org/index.php/jla/article/view/350/140},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/X18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BauerBFSTZ17,
author = {Andrej Bauer and
Ulrich Berger and
Willem L. Fouch{\'{e}} and
Dieter Spreen and
Hideki Tsuiki and
Martin Ziegler},
title = {Continuity, computability, constructivity: from logic to algorithms
2014 (Preface to the special issue: Continuity, Computability, Constructivity:
From Logic to Algorithms 2014)},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/306/118},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BauerBFSTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Berg17,
author = {Imme Pieter van den Berg},
title = {Functions of limited accumulation},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/268/114},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Berg17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/DinisB17,
author = {Bruno Miguel Antunes Dinis and
Imme Pieter van den Berg},
title = {Axiomatics for the external numbers of nonstandard analysis},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/308/124},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/DinisB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Fellhauer17,
author = {Adrian Felix Dominik Fellhauer},
title = {On the relation of three theorems of functional analysis to the axiom
of choice},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/258/113},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Fellhauer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/GonzalezHM17,
author = {Osvaldo Guzm{\'{a}}n Gonz{\'{a}}lez and
Michael Hrus{\'{a}}k and
Arturo Mart{\'{\i}}nez{-}Celis},
title = {Cardinal invariants of strongly porous sets},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/285/123},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/GonzalezHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hertling17,
author = {Peter Hertling},
title = {Clarke's generalized gradient and Edalat's L-derivative},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/243/119},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hertling17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Kawai17,
author = {Tatsuji Kawai},
title = {Point-free characterisation of Bishop compact metric spaces},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/261/117},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Kawai17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Kawai17a,
author = {Tatsuji Kawai},
title = {A point-free characterisation of Bishop locally compact metric spaces},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/239/120},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Kawai17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/LInnocenteM17,
author = {Sonia L'Innocente and
Vincenzo Mantova},
title = {Factorisation of germ-like series},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/265/115},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/LInnocenteM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/PaulyF17,
author = {Arno Pauly and
Willem L. Fouch{\'{e}}},
title = {How constructive is constructing measures?},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/241/121},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/PaulyF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/PrazakRS17,
author = {Dalibor Praz{\'{a}}k and
Kumbakonam R. Rajagopal and
Jakub Slav{\'{\i}}k},
title = {A non-standard approach to a constrained forced oscillator},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/272/116},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/PrazakRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BergerS16,
author = {Ulrich Berger and
Dieter Spreen},
title = {A coinductive approach to computing with compact sets},
journal = {J. Log. Anal.},
volume = {8},
year = {2016},
url = {http://logicandanalysis.org/index.php/jla/article/view/263/111},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BergerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BridgesHP16,
author = {Douglas S. Bridges and
Matthew Hendtlass and
Erik Palmgren},
title = {A constructive examination of rectifiability},
journal = {J. Log. Anal.},
volume = {8},
year = {2016},
url = {http://logicandanalysis.org/index.php/jla/article/view/260/112},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BridgesHP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Dow16,
author = {Alan Dow},
title = {{PFA} and complemented subspaces of {\(\mathscr{l}\)}\({}_{\mbox{{\(\infty\)}}}\)/c\({}_{\mbox{0}}\)},
journal = {J. Log. Anal.},
volume = {8},
year = {2016},
url = {http://logicandanalysis.org/index.php/jla/article/view/257/110},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Dow16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Swan16,
author = {Andrew Wakelin Swan},
title = {An algebraic weak factorisation system on 01-substitution sets: a
constructive proof},
journal = {J. Log. Anal.},
volume = {8},
year = {2016},
url = {http://logicandanalysis.org/index.php/jla/article/view/274/109},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Swan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/AhlmanK15,
author = {Ove Ahlman and
Vera Koponen},
title = {Limit laws and automorphism groups of random nonrigid structures},
journal = {J. Log. Anal.},
volume = {7},
year = {2015},
url = {http://logicandanalysis.org/index.php/jla/article/view/213/103},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/AhlmanK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Butler15,
author = {Lee Butler},
title = {First order irrationality criteria for series},
journal = {J. Log. Anal.},
volume = {7},
year = {2015},
url = {http://logicandanalysis.org/index.php/jla/article/view/233/102},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Butler15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CalvertF15,
author = {Wesley Calvert and
Johanna N. Y. Franklin},
title = {Genericity and UD-random reals},
journal = {J. Log. Anal.},
volume = {7},
year = {2015},
url = {http://logicandanalysis.org/index.php/jla/article/view/247/105},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CalvertF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CulverP15,
author = {Quinn Culver and
Christopher P. Porter},
title = {The interplay of classes of algorithmically random objects},
journal = {J. Log. Anal.},
volume = {7},
year = {2015},
url = {http://logicandanalysis.org/index.php/jla/article/view/246/108},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CulverP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/GeyerA15,
author = {Charles J. Geyer and
Bernardo B. de Andrade},
title = {Near equivalence on metric spaces and a nonstandard central limit
theorem},
journal = {J. Log. Anal.},
volume = {7},
year = {2015},
url = {http://logicandanalysis.org/index.php/jla/article/view/223/104},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/GeyerA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/NowikK15,
author = {Tahl Nowik and
Mikhail G. Katz},
title = {Differential geometry via infinitesimal displacements},
journal = {J. Log. Anal.},
volume = {7},
year = {2015},
url = {http://logicandanalysis.org/index.php/jla/article/view/237/106},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/NowikK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Zapletal15,
author = {Jindrich Zapletal},
title = {Interpreter for topologists},
journal = {J. Log. Anal.},
volume = {7},
year = {2015},
url = {http://logicandanalysis.org/index.php/jla/article/view/251/107},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Zapletal15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Baglini14,
author = {Lorenzo Luperi Baglini},
title = {Ultrafilters maximal for finite embeddability},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/226/98},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Baglini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BenciBN14,
author = {Vieri Benci and
Emanuele Bottazzi and
Mauro Di Nasso},
title = {Elementary numerosity and measures},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/212/93},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BenciBN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BienvenuAS14,
author = {Laurent Bienvenu and
Kelty Allen and
Theodore A. Slaman},
title = {On zeros of Martin-L{\"{o}}f random Brownian motion},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/222/101},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BienvenuAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/FischerFK14,
author = {Vera Fischer and
Sy{-}David Friedman and
Yurii Khomskii},
title = {Measure, category and projective wellorders},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/219/100},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/FischerFK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/InsallLM14,
author = {Matt Insall and
Peter A. Loeb and
Malgorzata Aneta Marciniak},
title = {End compactifications and general compactifications},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/231/99},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/InsallLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/KuyperT14,
author = {Rutger Kuyper and
Sebastiaan Terwijn},
title = {Effective genericity and differentiability},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/215/94},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/KuyperT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Lipparini14,
author = {Paolo Lipparini},
title = {Compactness of {\(\omega\)}\({}^{\mbox{{\(\lambda\)}}}\) for {\(\lambda\)}
singular},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/205/91},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Lipparini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Rubinstein-Salzedo14,
author = {Simon Rubinstein{-}Salzedo and
Ashvin Anand Swaminathan},
title = {Surreal analysis: an analogue of real analysis for surreal numbers},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/210/97},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Rubinstein-Salzedo14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Vakil14,
author = {Nader Vakil},
title = {On uniform spaces with invariant nonstandard hulls},
journal = {J. Log. Anal.},
volume = {6},
year = {2014},
url = {http://logicandanalysis.org/index.php/jla/article/view/197/90},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Vakil14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Berg13,
author = {Imme Pieter van den Berg},
title = {Discretisations of higher order and the theorems of Fa{\`{a}} di Bruno
and DeMoivre-Laplace},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/173/87},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Berg13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BridgesM13,
author = {Douglas S. Bridges and
Maarten McKubre{-}Jordens},
title = {Solving the Dirichlet problem constructively},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/133/83},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BridgesM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CirauloMS13,
author = {Francesco Ciraulo and
Maria Emilia Maietti and
Giovanni Sambin},
title = {Convergence in formal topology: a unifying notion},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/196/82},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CirauloMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Fackler13,
author = {Andreas Fackler},
title = {A topological set theory implied by {ZF} and GPK\({}^{\mbox{+}}\)\({}_{\mbox{{\(\infty\)}}}\)},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/186/72},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Fackler13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Green13,
author = {Edward J. Green},
title = {Embedding an analytic equivalence relation in the transitive closure
of a Borel relation},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/204/85},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Green13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/MannaaC13,
author = {Bassel Mannaa and
Thierry Coquand},
title = {Dynamic Newton-Puiseux theorem},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/152/86},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/MannaaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/PaulyZ13,
author = {Arno Pauly and
Martin Ziegler},
title = {Relative computability and uniform continuity of relations},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/156/88},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/PaulyZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Yaacov13,
author = {Ita{\"{\i}} Ben Yaacov},
title = {Lipschitz functions on topometric spaces},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/187/89},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Yaacov13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/AvigadDR12,
author = {Jeremy Avigad and
Edward T. Dean and
Jason M. Rute},
title = {A metastable dominated convergence theorem},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/138/50},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/AvigadDR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CoquandS12,
author = {Thierry Coquand and
Bas Spitters},
title = {A constructive proof of Simpson's Rule},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/174/66},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CoquandS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/DienerH12,
author = {Hannes Diener and
Anton Hedin},
title = {The Vitali covering theorem in constructive mathematics},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/143/54},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/DienerH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/DoraisHS12,
author = {Fran{\c{c}}ois G. Dorais and
Jeffry L. Hirst and
Paul Shafer},
title = {Reverse mathematics, trichotomy, and dichotomy},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/170/64},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/DoraisHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/FischerFT12,
author = {Vera Fischer and
Sy{-}David Friedman and
Asger T{\"{o}}rnquist},
title = {Projective maximal families of orthogonal measures with large continuum},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/153/57},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/FischerFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hendtlass12,
author = {Matthew Hendtlass},
title = {Fixed point theorems in constructive mathematics},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/157/58},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hendtlass12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/HirstM12,
author = {Jeffry L. Hirst and
Jessica Miller},
title = {More reverse mathematics of the Heine-Borel Theorem},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/141/53},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/HirstM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hrbacek12,
author = {Karel Hrbacek},
title = {Axiom of Choice in nonstandard set theory},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/151/73},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hrbacek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hrbacek12a,
author = {Karel Hrbacek},
title = {Relative set theory: Strong stability},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/158/59},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hrbacek12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/JonesS12,
author = {Gareth Jones and
Patrick Speissegger},
title = {Generating the Pfaffian closure with total Pfaffian functions},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/140/52},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/JonesS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Kreuzer12,
author = {Alexander P. Kreuzer},
title = {A logical analysis of the generalized Banach contractions principle},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/178/68},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Kreuzer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Leenknegt12,
author = {Eva Leenknegt},
title = {Cell decomposition for semiaffine structures on p-adic fields},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/172/65},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Leenknegt12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Leth12,
author = {Steven C. Leth},
title = {Regions in the nonstandard plane that contain no standard points},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/177/67},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Leth12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Palmgren12,
author = {Erik Palmgren},
title = {A note on Brouwer's weak continuity principle and the transfer principle
in nonstandard analysis},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/137/49},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Palmgren12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Thomas12,
author = {Margaret E. M. Thomas},
title = {Convergence results for function spaces over o-minimal structures},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/136/46},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Thomas12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Towsner12,
author = {Henry Towsner},
title = {A correspondence principle for the Gowers norms},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/139/51},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Towsner12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Yaacov12,
author = {Ita{\"{\i}} Ben Yaacov},
title = {On uniform canonical bases in \emph{L}\({}_{\mbox{p}}\) lattices and
other metric structures},
journal = {J. Log. Anal.},
volume = {4},
year = {2012},
url = {http://logicandanalysis.org/index.php/jla/article/view/169/63},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Yaacov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Bridges11,
author = {Douglas S. Bridges},
title = {Locating subsets of {B(H)} relative to seminorms inducing the strong-operator
topology},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/96/36},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Bridges11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CoquandS11,
author = {Thierry Coquand and
Peter Schuster},
title = {Unique paths as formal points},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/107/39},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CoquandS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/DienerL11,
author = {Hannes Diener and
Iris Loeb},
title = {Constructive reverse investigations into differential equations},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/114/41},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/DienerL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/DinisB11,
author = {Bruno Dinis and
Imme Pieter van den Berg},
title = {Algebraic properties of external numbers},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/116/42},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/DinisB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Ehrlich11,
author = {Philip Ehrlich},
title = {Conway names, the simplicity hierarchy and the surreal number tree},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/88/34},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Ehrlich11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Goldbring11,
author = {Isaac Goldbring},
title = {Ends of groups: a nonstandard perspective},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/108/40},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Goldbring11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/HendtlassS11,
author = {Matthew Hendtlass and
Peter Schuster},
title = {Minima and best approximations in constructive analysis},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/99/38},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/HendtlassS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/HensonR11,
author = {C. Ward Henson and
Yves Raynaud},
title = {Quantifier elimination in the theory of L\({}_{\mbox{p}}\)(L\({}_{\mbox{q}}\))
Banach lattices},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/135/45},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/HensonR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/OikhbergR11,
author = {Timur Oikhberg and
Christian Rosendal},
title = {Subspace structure of some operator and Banach spaces},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/94/35},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/OikhbergR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Pyshchev11,
author = {Alexander P. Pyshchev},
title = {Uniform liftings of continuous mappings},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/98/37},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Pyshchev11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Weisshaupt11,
author = {Heinz Weisshaupt},
title = {Radically elementary analysis of an interacting particle system at
an unstable equilibrium},
journal = {J. Log. Anal.},
volume = {3},
year = {2011},
url = {http://logicandanalysis.org/index.php/jla/article/view/124/44},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Weisshaupt11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Clotz10,
author = {Ulf Clotz},
title = {Description of locally finite families from a nonstandard point of
view},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/42/22},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Clotz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CoquandS10,
author = {Thierry Coquand and
Bas Spitters},
title = {Constructive theory of Banach algebras},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/84/33},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CoquandS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Frecon10,
author = {Olivier Fr{\'{e}}con},
title = {Splitting in solvable groups of finite Morley rank},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/55/24},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Frecon10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hrbacek10,
author = {Karel Hrbacek},
title = {Relative set theory: Some external issues},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/75/28},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hrbacek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Kaiser10,
author = {Tobias Kaiser},
title = {Harmonic measure and subanalytically tame measures},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/69/27},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Kaiser10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/KhalfallahK10,
author = {Adel Khalfallah and
Siegmund Kosarew},
title = {Complex spaces and nonstandard schemes},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/77/29},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/KhalfallahK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Kjos-Hanssen10,
author = {Bj{\o}rn Kjos{-}Hanssen},
title = {The probability distribution as a computational resource for randomness
testing},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/78/30},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Kjos-Hanssen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Lubarsky10,
author = {Robert S. Lubarsky},
title = {Geometric spaces with no points},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/64/26},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Lubarsky10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Lubarsky10a,
author = {Robert S. Lubarsky},
title = {Addendum and Erratum to "Geometric spaces with no points"},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/80/32},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Lubarsky10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Palmgren10,
author = {Erik Palmgren},
title = {Open sublocales of localic completions},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/39/21},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Palmgren10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Taylor10,
author = {Paul Taylor},
title = {A lambda calculus for real analysis},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/63/25},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Taylor10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Zlatos10,
author = {Pavol Zlatos},
title = {Stability of group homomorphisms in the compact-open topology},
journal = {J. Log. Anal.},
volume = {2},
year = {2010},
url = {http://logicandanalysis.org/index.php/jla/article/view/46/23},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Zlatos10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Berger09,
author = {Josef Berger},
title = {A decomposition of Brouwer's fan theorem},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/20/15},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Berger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Boudaoud09,
author = {Abdelmadjid Boudaoud},
title = {Decomposition of terms in Lucas sequences},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/18/13},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Boudaoud09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/CoquandS09,
author = {Thierry Coquand and
Bas Spitters},
title = {Integrals and valuations},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/14/12},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/CoquandS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Goldbring09,
author = {Isaac Goldbring},
title = {Nonstandard hulls of locally exponential Lie algebras},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/19/14},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Goldbring09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Hrbacek09,
author = {Karel Hrbacek},
title = {Relative set theory: Internal view},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/25/17},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Hrbacek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/LubarskyR09,
author = {Robert S. Lubarsky and
Fred Richman},
title = {Signed-bit representations of real numbers},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/29/19},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/LubarskyR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Pathak09,
author = {Noopur Pathak},
title = {A computational aspect of the Lebesgue differentiation theorem},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/28/18},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Pathak09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Vickers09,
author = {Steven Vickers},
title = {Localic completion of generalized metric spaces {II:} Powerlocales},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/34/20},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Vickers09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Weisshaupt09,
author = {Heinz Weisshaupt},
title = {Diffusion processes via parabolic equations: an infinitesimal approach
to Lindeberg's limit theorem},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/12/9},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Weisshaupt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Yaacov09,
author = {Ita{\"{\i}} Ben Yaacov},
title = {Modular functionals and perturbations of Nakano spaces},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/11/5},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/Yaacov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/YaacovB09,
author = {Ita{\"{\i}} Ben Yaacov and
Alexander Berenstein},
title = {On perturbations of Hilbert spaces and probability algebras with a
generic automorphism},
journal = {J. Log. Anal.},
volume = {1},
year = {2009},
url = {http://logicandanalysis.org/index.php/jla/article/view/23/16},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/YaacovB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Berg08,
author = {Imme Pieter van den Berg},
title = {Asymptotics of families of solutions of nonlinear difference equations},
journal = {Log. Anal.},
volume = {1},
number = {2},
pages = {153--185},
year = {2008},
url = {https://doi.org/10.1007/s11813-008-0006-0},
doi = {10.1007/S11813-008-0006-0},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Berg08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Lindstrom08,
author = {Tom Louis Lindstr{\o}m},
title = {Nonlinear stochastic integrals for hyperfinite L{\'{e}}vy processes},
journal = {Log. Anal.},
volume = {1},
number = {2},
pages = {91--129},
year = {2008},
url = {https://doi.org/10.1007/s11813-007-0004-7},
doi = {10.1007/S11813-007-0004-7},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Lindstrom08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/LubarskyR08,
author = {Robert S. Lubarsky and
Michael Rathjen},
title = {On the constructive Dedekind reals},
journal = {Log. Anal.},
volume = {1},
number = {2},
pages = {131--152},
year = {2008},
url = {https://doi.org/10.1007/s11813-007-0005-6},
doi = {10.1007/S11813-007-0005-6},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/LubarskyR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Servi08,
author = {Tamara Servi},
title = {Noetherian varieties in definably complete structures},
journal = {Log. Anal.},
volume = {1},
number = {3-4},
pages = {187--204},
year = {2008},
url = {https://doi.org/10.1007/s11813-008-0007-z},
doi = {10.1007/S11813-008-0007-Z},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Servi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/TodorovV08,
author = {Todor D. Todorov and
Hans Vernaeve},
title = {Full algebra of generalized functions and non-standard asymptotic
analysis},
journal = {Log. Anal.},
volume = {1},
number = {3-4},
pages = {205--234},
year = {2008},
url = {https://doi.org/10.1007/s11813-008-0008-y},
doi = {10.1007/S11813-008-0008-Y},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/TodorovV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Yaacov08,
author = {Ita{\"{\i}} Ben Yaacov},
title = {Topometric spaces and perturbations of metric structures},
journal = {Log. Anal.},
volume = {1},
number = {3-4},
pages = {235--272},
year = {2008},
url = {https://doi.org/10.1007/s11813-008-0009-x},
doi = {10.1007/S11813-008-0009-X},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Yaacov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BrunjesS07,
author = {Lars Br{\"{u}}njes and
Christian Serp{\'{e}}},
title = {Enlargements of schemes},
journal = {Log. Anal.},
volume = {1},
number = {1},
pages = {1--60},
year = {2007},
url = {https://doi.org/10.1007/s11813-007-0001-x},
doi = {10.1007/S11813-007-0001-X},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/BrunjesS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Cutland07,
author = {Nigel J. Cutland},
title = {Introducing \emph{Logic and Analysis}},
journal = {Log. Anal.},
volume = {1},
number = {1},
year = {2007},
url = {https://doi.org/10.1007/s11813-007-0003-8},
doi = {10.1007/S11813-007-0003-8},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Cutland07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/Jin07,
author = {Renling Jin},
title = {Inverse problem for cuts},
journal = {Log. Anal.},
volume = {1},
number = {1},
pages = {61--89},
year = {2007},
url = {https://doi.org/10.1007/s11813-007-0002-9},
doi = {10.1007/S11813-007-0002-9},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jla/Jin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-13 06:54 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
