Independence, randomness and the axiom of choice

DOI10.2307/2275368zbMath0781.03042OpenAlexW2097781254WikidataQ114589015 ScholiaQ114589015MaRDI QIDQ4032662

Michiel Marian Michiel van Lambalgen

Publication date: 1 April 1993

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

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/independence-randomness-and-the-axiom-of-choice(72ee6f87-2dc9-4aba-841a-6b0f988edef8).html

zbMATH Keywords

generalized quantifierextensionalityrandom sequencesrandomnessdata axiomsintuitionistic theory of lawless sequences

Mathematics Subject Classification ID

Consistency and independence results (03E35) Logic with extra quantifiers and operators (03C80) Metamathematics of constructive systems (03F50) Other set-theoretic hypotheses and axioms (03E65) Axioms; other general questions in probability (60A05) Axiom of choice and related propositions (03E25) Determinacy principles (03E60)

Related Items (6)

Russell's typicality as another randomness notion ⋮ von Neumann standard quantum mechanics is logically inconsistent ⋮ Do stronger definitions of randomness exist? ⋮ Formalizing the unexpected hanging paradox: a classical surprise ⋮ Compositionality solves Carnap's problem ⋮ A simple logic of functional dependence

This page was built for publication: Independence, randomness and the axiom of choice