Cover Image

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huttegger, Simon M., Walsh, Sean, Blando, Francesca Zaffora
Format:	Preprint
Published:	2024
Subjects:	Logic Probability 03D32, 03A10, 03D78, 03F60, 60A10, 60B05, 60G48
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Algorithmic randomness and the weak merging of computable probability measures
by: Huttegger, Simon M., et al.
Published: (2025)

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

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

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

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

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
by: Neri, Morenikeji
Published: (2024)

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

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

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

Listing the hyperarithmetical functions
by: Miller, Joseph S., et al.
Published: (2026)

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)

The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
by: Lutz, Patrick, et al.
Published: (2023)

Forcing and classes of $\mathsf{HYP}$-dominating functions
by: Greenberg, Noam, et al.
Published: (2026)

A Baire Category Approach to Besicovitch's Theorem and Measure Regularity
by: Gruner, Emma, et al.
Published: (2026)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

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

Analysis of HOD for Admissible Structures
by: Kruschewski, Jan, et al.
Published: (2025)

Generic multiplicative endomorphism of a field
by: d'Elbée, Christian
Published: (2022)

Computably discrete represented spaces
by: Neumann, Eike, et al.
Published: (2025)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
by: Zantedeschi, Daniel
Published: (2026)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
by: Harrington, Leo A., et al.
Published: (2025)

Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)

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

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

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

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Ultrahomogeneity and $ω$-categoricity of monounary algebras
by: Quinn-Gregson, Thomas
Published: (2026)

Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)

On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

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

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