Constructive algebraic integration theory

Annals of Pure and Applied Logic 137 (1-3):380-390 (2006)
  Copy   BIBTEX

Abstract

For a long time people have been trying to develop probability theory starting from ‘finite’ events rather than collections of infinite events. In this way one can find natural replacements for measurable sets and integrable functions, but measurable functions seemed to be more difficult to find. We present a solution. Moreover, our results are constructive

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.05.031

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Approximation to measurable functions and its relation to probabilistic computation.Ker-I. Ko - 1986 - Annals of Pure and Applied Logic 30 (2):173-200.
Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
Computability of measurable sets via effective topologies.Yongcheng Wu & Decheng Ding - 2006 - Archive for Mathematical Logic 45 (3):365-379.
The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
The theory of spectrum exchangeability.E. Howarth & J. B. Paris - 2015 - Review of Symbolic Logic 8 (1):108-130.
Positive results in abstract model theory: a theory of compact logics.J. A. Makowsky & S. Shelah - 1983 - Annals of Pure and Applied Logic 25 (3):263-299.
Quotient topologies in constructive set theory and type theory.Hajime Ishihara & Erik Palmgren - 2006 - Annals of Pure and Applied Logic 141 (1):257-265.
Algebraic functions in quasiprimal algebras.Miguel Campercholi & Diego Vaggione - 2014 - Mathematical Logic Quarterly 60 (3):154-160.
A theory of hyperfinite sets.P. V. Andreev & E. I. Gordon - 2006 - Annals of Pure and Applied Logic 143 (1-3):3-19.
Instances of dependent choice and the measurability of ℵω + 1.Arthur W. Apter & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 74 (3):203-219.

Analytics

Added to PP
2013-12-31

Downloads
79 (#723,934)

6 months
17 (#698,773)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The swap of integral and limit in constructive mathematics.Rudolf Taschner - 2010 - Mathematical Logic Quarterly 56 (5):533-540.

Add more citations

References found in this work

Varieties of constructive mathematics.Douglas Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Complete metric Boolean algebras.A. N. Kolmogorov - 1995 - Philosophical Studies 77 (1):57 - 66.
Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.

Add more references