:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gruner, Emma, Reimann, Jan
Format:	Preprint
Published:	2026
Subjects:	Logic 03F60 (Primary) 28A78 (Secondary)
Online Access:	https://arxiv.org/abs/2602.00940
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

A classification of bisimilarities for general Markov decision processes
by: Moroni, Martín Santiago, et al.
Published: (2024)

The complexity of bisimilarity on pointmass processes
by: Moroni, Martín Santiago, et al.
Published: (2026)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Affine Hulls and Simplices: a Constructive Analysis
by: Bridges, Douglas S.
Published: (2025)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)

Chains and antichains in the Weihrauch lattice
by: Lempp, Steffen, et al.
Published: (2024)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

Measure theory via Locales
by: Lehner, Georg
Published: (2025)

Benign approximations and non-speedability
by: Hölzl, Rupert, et al.
Published: (2023)

Randomness versus superspeedability
by: Hölzl, Rupert, et al.
Published: (2024)

The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)

Schnorr Randomness and Effective Bayesian Consistency and Inconsistency
by: Huttegger, Simon M., et al.
Published: (2025)

Around Eggleston Theorem
by: Michalski, Marcin, et al.
Published: (2023)

Some model-theoretic consequences of high-arity uniform convergence, part I
by: Coregliano, Leonardo N., et al.
Published: (2026)

Measurability in the Fundamental Theorem of Statistical Learning
by: Krapp, Lothar Sebastian, et al.
Published: (2024)

Conditions when the problems of linear programming are algorithmically unsolvable
by: Chernov, Viktor, et al.
Published: (2023)

Hausdorff dimension and countable Borel equivalence relations
by: Marks, Andrew, et al.
Published: (2024)

On Petr Novikov's problem of ordered systems of uniform sets
by: Kanovei, Vladimir, et al.
Published: (2026)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
by: Huttegger, Simon M., et al.
Published: (2024)

A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)

The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
by: Swanson, Jason
Published: (2025)

A probabilistic look at the infinite hat-guessing game
by: Eldredge, Nathaniel
Published: (2025)

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

The Nikodym property and filters on $ω$
by: Żuchowski, Tomasz
Published: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

A game for Baire's grand theorem
by: Notaro, Lorenzo
Published: (2023)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

Games characterizing certain families of functions
by: Balcerzak, Marek, et al.
Published: (2021)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

Complexity of Finite Borel Asymptotic Dimension
by: Grebík, Jan, et al.
Published: (2024)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)

Parabolic Fractal Geometry of Stable Lévy Processes with Drift
by: Kern, Peter, et al.
Published: (2023)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)