Independence, randomness and the axiom of choice

DOI10.2307/2275368MaRDI QIDQ4032662zbMATH OpenOpenAlexWikidataFDO

Authors 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

data axiomsextensionalitygeneralized quantifierintuitionistic theory of lawless sequencesrandom sequencesrandomness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 512574
• The axiomatization of randomness
• Do stronger definitions of randomness exist?
• scientific article; zbMATH DE number 3966063
• scientific article; zbMATH DE number 956477

Cited in

(12)

• von Neumann standard quantum mechanics is logically inconsistent
• Do stronger definitions of randomness exist?
• Compositionality solves Carnap's problem
• A classical view of the intuitionistic continuum
• A simple logic of functional dependence
• Pairwise Independence and Derandomization
• scientific article; zbMATH DE number 956477 (Why is no real title available?)
• scientific article; zbMATH DE number 512574 (Why is no real title available?)
• The axiomatization of randomness
• Effective randomness for continuous measures
• Russell's typicality as another randomness notion
• Formalizing the unexpected hanging paradox: a classical surprise

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032662)