Login / Signup
J. Log. Anal.
2009
2013
2019
2024
2009
2024
Keyphrases
Publications
volume 16, 2024
Michael Christ
,
James Demmel
,
Nicholas Knight
,
Thomas Scanlon
,
Katherine A. Yelick
On Multilinear Inequalities of Holder-Brascamp-Lieb Type for Torsion-Free Discrete Abelian Groups.
J. Log. Anal.
16 (2024)
Christopher J. Eagle
,
Joshua Lau
K-theory of co-existentially closed continua.
J. Log. Anal.
16 (2024)
Karel Hrbacek
Multi-level Nonstandard Analysis and the Axiom of Choice.
J. Log. Anal.
16 (2024)
James Hanson
Some semilattices of definable sets in continuous logic.
J. Log. Anal.
16 (2024)
Anthony Ramirez
,
Vyron Vellis
Time complexity of the analyst's traveling salesman algorithm.
J. Log. Anal.
16 (2024)
volume 15, 2023
Caleb Camrud
Generalized effective completeness for continuous logic.
J. Log. Anal.
15 (2023)
Philipp Hieronymi
Fractals and the monadic second order theory of one successor.
J. Log. Anal.
15 (2023)
David Jekel
-algebras.
J. Log. Anal.
15 (2023)
Morenikeji Neri
,
Thomas Powell
A computational study of a class of recursive inequalities.
J. Log. Anal.
15 (2023)
Karel Hrbacek
,
Mikhail G. Katz
Peano and Osgood theorems via effective infinitesimals.
J. Log. Anal.
15 (2023)
David Jekel
-algebras.
J. Log. Anal.
15 (2023)
Andre Opris
-definable functions.
J. Log. Anal.
15 (2023)
volume 14, 2022
Russell G. Miller
Effectivizing Lusin's Theorem.
J. Log. Anal.
14 (2022)
Wim Veldman
Projective sets, intuitionistically.
J. Log. Anal.
14 (2022)
Emanuele Bottazzi
,
Monroe Eskew
Integration with filters.
J. Log. Anal.
14 (2022)
George Davie
Computability of convergence rates in the ergodic theorem for Martin-Löf random points.
J. Log. Anal.
14 (2022)
François Le Maître
Polish topologies on groups of non-singular transformations.
J. Log. Anal.
14 (2022)
volume 13, 2021
Pavol Jan Zlatos
Gordon's Conjecture 3: Fourier transforms in the hyperfinite setting.
J. Log. Anal.
13 (2021)
Todor D. Todorov
Infinite-dimensional linear algebra and solvability of partial differential equations.
J. Log. Anal.
13 (2021)
Pavol Zlatos
Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting.
J. Log. Anal.
13 (2021)
Michalis Anoussis
,
Vaggelis Felouzis
,
Konstantinos Tsaprounis
Almost disjoint families and ultrapowers.
J. Log. Anal.
13 (2021)
Rob Arthan
,
Paulo Oliva
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem.
J. Log. Anal.
13 (2021)
Antonio Di Nola
,
Giacomo Lenzi
,
Luca Spada
Sheaf representations and locality of Riesz spaces with order unit.
J. Log. Anal.
13 (2021)
Merlin Carl
,
Lothar Sebastian Krapp
Models of true arithmetic are integer parts of models of real exponentation.
J. Log. Anal.
13 (2021)
volume 12, 2020
Bellaouar Djamel
,
Abdelmadjid Boudaoud
Representation of integers: a nonclassical point of view.
J. Log. Anal.
12 (2020)
Masahiro Kumabe
,
Kenshi Miyabe
,
Yuki Mizusawa
,
Toshio Suzuki
Solovay reducibility and continuity.
J. Log. Anal.
12 (2020)
Johanna N. Y. Franklin
,
Timothy H. McNicholl
Degrees of and lowness for isometric isomorphism.
J. Log. Anal.
12 (2020)
Karel Hrbacek
On factoring of unlimited integers.
J. Log. Anal.
12 (2020)
Irfan Alam
Limiting probability measures.
J. Log. Anal.
12 (2020)
Sylvia Carlisle
,
C. Ward Henson
Model theory of R-trees.
J. Log. Anal.
12 (2020)
Hannes Diener
,
Matthew Hendtlass
Differentiating convex functions constructively.
J. Log. Anal.
12 (2020)
Timothy H. McNicholl
Computing the exponent of a Lebesgue space.
J. Log. Anal.
12 (2020)
volume 11, 2019
Thierry Coquand
,
Maria Emilia Maietti
,
Erik Palmgren
Preface to the special issue for The Fifth Workshop on Formal Topology.
J. Log. Anal.
11 (2019)
Giulia Frosoni
,
Giuseppe Rosolini
,
Alessio Santamaria
Frames and topological algebras for a double-power monad.
J. Log. Anal.
11 (2019)
Iosif Petrakis
Constructive uniformities of pseudometrics and Bishop topologies.
J. Log. Anal.
11 (2019)
Lothar Sebastian Krapp
Value groups and residue fields of models of real exponentiation.
J. Log. Anal.
11 (2019)
Tatsuji Kawai
Principles of bar induction and continuity on Baire space.
J. Log. Anal.
11 (2019)
Francesco Ciraulo
,
Giovanni Sambin
Reducibility, a constructive dual of spatiality.
J. Log. Anal.
11 (2019)
Martin Vodicka
,
Pavol Zlatos
A uniform stability principle for dual lattices.
J. Log. Anal.
11 (2019)
Steven Vickers
Sketches for arithmetic universes.
J. Log. Anal.
11 (2019)
volume 10, 2018
Abraham Robinson (6 October 1918 - 11 April 1974).
J. Log. Anal.
10 (2018)
Alvaro Arias
,
Natasha Dobrinen
,
Gabriel Girón-Garnica
,
José G. Mijares
Banach spaces from barriers in high dimensional Ellentuck spaces.
J. Log. Anal.
10 (2018)
Pavel Osinenko
,
Stefan Streif
A constructive version of the extremum value theorem for spaces of vector-valued functions.
J. Log. Anal.
10 (2018)
Kenshi Miyabe
,
André Nies
,
Frank Stephan
Randomness and Solovay degrees.
J. Log. Anal.
10 (2018)
Tristan Bice
,
Charles Starling
Locally compact Stone duality.
J. Log. Anal.
10 (2018)
David Asperó
,
Konstantinos Tsaprounis
Long reals.
J. Log. Anal.
10 (2018)
Merlin Carl
,
Asgar Jamneshan
A transfer principle for second-order arithmetic, and applications.
J. Log. Anal.
10 (2018)
Angeliki Koutsoukou-Argyraki
New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups.
J. Log. Anal.
10 (2018)
volume 9, 2017
Dalibor Prazák
,
Kumbakonam R. Rajagopal
,
Jakub Slavík
A non-standard approach to a constrained forced oscillator.
J. Log. Anal.
9 (2017)
Andrej Bauer
,
Ulrich Berger
,
Willem L. Fouché
,
Dieter Spreen
,
Hideki Tsuiki
,
Martin Ziegler
Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014).
J. Log. Anal.
9 (2017)