Natural density and probability, constructively

DOI10.4467/20842589RM.20.002.12434MaRDI QIDQ5121958zbMATH OpenOpenAlexFDO

Authors Samuele Maschio

Publication date 22 September 2020

Published in Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.09401

zbMATH Keywords

constructive probabilityfrequentist probabilitylimited principle of omnisciencenatural density

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Axioms; other general questions in probability (60A05)

Abstract: We give here a constructive account of the frequentist approach to probability, by means of natural density. Using this notion of natural density, we introduce some probabilistic versions of the Limited Principle of Omniscience. Finally we give an attempt general definition of probability structure which is pointfree and takes into account abstractely the process of probability assignment.

Recommendations

• Foundations of constructive probability theory
• On the concept of probability
• Uniquely determined uniform probability on the natural numbers
• Constructive algebraic integration theory
• Probabilities as ratios of ranges in initial-state spaces

This page was built for publication: Natural density and probability, constructively

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