Image de couverture de livre

An approximate zero-one law via the Dialectica interpretation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Powell, Thomas, Wan, Alex
Format:	Preprint
Publié:	2025
Sujets:	Logic Probability
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An abstract effective convergence theorem for stochastic processes, with applications to stochastic approximation
par: Neri, Morenikeji, et autres
Publié: (2025)

Generalized fluctuation bounds for stochastic algorithms in the presence of compactness
par: Neri, Morenikeji, et autres
Publié: (2026)

On the algorithmic structure of Dialectica realisers
par: Barbarossa, Davide, et autres
Publié: (2025)

A quantitative Robbins-Siegmund theorem
par: Neri, Morenikeji, et autres
Publié: (2024)

Logical limit laws for Mallows random permutations
par: Muller, Tobias, et autres
Publié: (2023)

A logical limit law for the sequential model of preferential attachment graphs
par: Özdemir, Alperen
Publié: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
par: Powell, Thomas
Publié: (2023)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

Two Agents, One Prompt, and Your Weight
par: Mossel, Elchanan, et autres
Publié: (2025)

Foundations for conditional probability
par: Mečíř, Ladislav
Publié: (2019)

Proof mining and probability theory
par: Neri, Morenikeji, et autres
Publié: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
par: Benjamini, Itai, et autres
Publié: (2022)

Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
par: Ackerman, Nathanael, et autres
Publié: (2025)

Borel Local Lemma: arbitrary random variables and limited exponential growth
par: Bernshteyn, Anton, et autres
Publié: (2024)

A logical approach to concentration
par: Benedikt, Michael, et autres
Publié: (2026)

First order complexity of finite random structures
par: Demin, Danila, et autres
Publié: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
par: Mertens, Hannah, et autres
Publié: (2025)

Conditioning Accept-Desirability models in the context of AGM-like belief change
par: Coussement, Kathelijne, et autres
Publié: (2025)

On Contextuality as a Feature of Logic and Probability Theory
par: Ellingsen, Ask
Publié: (2026)

Complexity of inversion of functions on the reals
par: Barmpalias, George, et autres
Publié: (2024)

Drawing with Distance
par: Jacobs, Bart
Publié: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
par: Mertens, Hannah, et autres
Publié: (2024)

Separating complexity classes of LCL problems on grids
par: Berlow, Katalin, et autres
Publié: (2025)

Infinite products and zero-one laws in categorical probability
par: Fritz, Tobias, et autres
Publié: (2019)

Central Limits via Dilated Categories
par: Basold, Henning, et autres
Publié: (2026)

Probabilistic consequence relations
par: Égré, Paul, et autres
Publié: (2024)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
par: Neri, Morenikeji, et autres
Publié: (2024)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
par: Izumo, Takashi
Publié: (2025)

Algorithmic Randomness in Continuous-Time Markov Chains
par: Huang, Xiang, et autres
Publié: (2019)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
par: Ackerman, Nathanael L., et autres
Publié: (2023)

A Categorical Treatment of Open Linear Systems
par: Stein, Dario, et autres
Publié: (2024)

Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality
par: Surace, Jacopo
Publié: (2026)

An excursion into Dialectica and Differentiation
par: Barbarossa, Davide
Publié: (2024)

Uniform Borel Amenability
par: Elek, Gábor, et autres
Publié: (2024)

Uniform interpolation for interpretability logic
par: Horvat, Sebastijan, et autres
Publié: (2025)

A Type Theory for Probabilistic and Bayesian Reasoning
par: Adams, Robin, et autres
Publié: (2015)

Speedability of computably approximable reals and their approximations
par: Barmpalias, George, et autres
Publié: (2026)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
par: Monir, Negar, et autres
Publié: (2026)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
par: Fritz, Tobias, et autres
Publié: (2025)