Copertina

Schnorr Randomness and Effective Bayesian Consistency and Inconsistency

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Huttegger, Simon M., Walsh, Sean, Blando, Francesca Zaffora
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic Statistics Theory 03D32 (Primary) 03F60, 60A10, 62G20 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Randomness versus superspeedability
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

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

Anytime-Valid Tests for Sparse Anomalies
di: Pérez-Ortiz, Muriel F., et al.
Pubblicazione: (2025)

The power of forgetting in statistical hypothesis testing
di: Vovk, Vladimir
Pubblicazione: (2024)

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

Detection of weak signals under arbitrary noise distributions
di: Zschetzsche, J., et al.
Pubblicazione: (2026)

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

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

On the structure of Bochvar algebras
di: Bonzio, Stefano, et al.
Pubblicazione: (2023)

Fundamental sequences based on localization
di: Wilken, Gunnar
Pubblicazione: (2024)

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

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

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

Strong reducibilities and set theory
di: Schweber, Noah
Pubblicazione: (2024)

Distality in Ordered Abelian Groups
di: Okura, Koki
Pubblicazione: (2026)

High-arity PAC learning via exchangeability
di: Coregliano, Leonardo N., et al.
Pubblicazione: (2024)

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

Goodness-of-Fit Testing for Point Processes in Large Populations
di: Can, Sami Umut, et al.
Pubblicazione: (2026)

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

An optimality property of the Bayes-Kelly algorithm
di: Vovk, Vladimir
Pubblicazione: (2024)

Estimating the tail index of Pareto-type distributions from geometric records
di: Alcalde, Martín, et al.
Pubblicazione: (2026)

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

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

Explicit non-asymptotic bounds for the distance to the first-order Edgeworth expansion
di: Derumigny, Alexis, et al.
Pubblicazione: (2021)

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

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

The class of Krasner hyperfields is not elementary
di: Błaszkiewicz, Piotr, et al.
Pubblicazione: (2024)

Satisfaction classes with approximate disjunctive correctness
di: Enayat, Ali
Pubblicazione: (2023)

Computably discrete represented spaces
di: Neumann, Eike, et al.
Pubblicazione: (2025)

Model Theory of Generic Vector Space Endomorphisms
di: Chini, Leon
Pubblicazione: (2025)

Model Theory of Generic Vector Space Endomorphisms II
di: Chini, Leon
Pubblicazione: (2025)

Derived Models in PFA
di: Levinson, Derek, et al.
Pubblicazione: (2025)

Definability over $\mathrm BΣ^0_2$-models
di: Chong, Chi Tat, et al.
Pubblicazione: (2025)

Ramsey-like theorems for separable permutations
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

A non-local estimator for locally stationary Hawkes processes
di: Deschatre, Thomas, et al.
Pubblicazione: (2025)

Encoding Sequences in Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2024)