The axiomatization of randomness

DOI10.2307/2274480zbMath0724.03026OpenAlexW2066083733MaRDI QIDQ5202179

Michiel Marian Michiel van Lambalgen

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/the-axiomatisation-of-randomness(fc3039d9-1f5b-4b55-bf85-a0da355f1f40).html

zbMATH Keywords

independence relationaxiomatization of von Mises' notion of a random sequencequantifier elimination theorem for Friedman's ``almost all quantifier

Mathematics Subject Classification ID

Foundations of probability theory (60A99) Logic with extra quantifiers and operators (03C80) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (37)

On Russell typicality in set theory ⋮ Intermediate intrinsic density and randomness ⋮ On fairness and randomness ⋮ The Intersection of Algorithmically Random Closed Sets and Effective Dimension ⋮ Typicality à la Russell in set theory ⋮ On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic ⋮ Asymptotic density, immunity and randomness ⋮ OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS ⋮ Schnorr randomness for noncomputable measures ⋮ Agreement reducibility ⋮ Russell's typicality as another randomness notion ⋮ On initial segment complexity and degrees of randomness ⋮ von Neumann standard quantum mechanics is logically inconsistent ⋮ Conditional probabilities and van Lambalgen's theorem revisited ⋮ On the uniform computational content of computability theory ⋮ Extraction rates of random continuous functionals ⋮ DENSITY-1-BOUNDING AND QUASIMINIMALITY IN THE GENERIC DEGREES ⋮ Oscillation in the initial segment complexity of random reals ⋮ Weakly Represented Families in Reverse Mathematics ⋮ Probabilistic issues in statistical mechanics ⋮ Models and the dynamics of theory-building in physics. I: Modeling strategies ⋮ COMPLEXITY, INFORMATION, ENERGY ⋮ Characterizing the strongly jump-traceable sets via randomness ⋮ Algorithmically Independent Sequences ⋮ The weakness of being cohesive, thin or free in reverse mathematics ⋮ Two more characterizations of \(K\)-triviality ⋮ Conditional measure and the violation of van Lambalgen's theorem for Martin-Löf randomness ⋮ On relative randomness ⋮ Algorithmically independent sequences ⋮ Selection by Recursively Enumerable Sets ⋮ RELATIVIZING CHAITIN'S HALTING PROBABILITY ⋮ A universal pair of 1/2-betting strategies ⋮ Randomness and Computability: Open Questions ⋮ Calibrating Randomness ⋮ Trivial measures are not so trivial ⋮ A Church-Turing thesis for randomness? ⋮ Closure of resource-bounded randomness notions under polynomial time permutations

Cites Work

• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• [https://portal.mardi4nfdi.de/wiki/Publication:5598025 Syst�mes al�atoires g�n�ralis�s � liaisons compl�tes]

This page was built for publication: The axiomatization of randomness