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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

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

A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Explicit algebraic models for constructive and classical theories with non-standard elements.Albert G. Dragalin - 1995 - Studia Logica 55 (1):33 - 61.
The swap of integral and limit in constructive mathematics.Rudolf Taschner - 2010 - Mathematical Logic Quarterly 56 (5):533-540.
Engagement Agents in the Making: On the Front Lines of Socio-Technical Integration: Commentary on: “Constructing Productive Engagement: Pre-engagement Tools for Emerging Technologies”.Shannon N. Conley - 2011 - Science and Engineering Ethics 17 (4):715-721.
Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Constructive Logic and the Medvedev Lattice.Sebastiaan A. Terwijn - 2006 - Notre Dame Journal of Formal Logic 47 (1):73-82.
Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.

Analytics

Added to PP
2013-12-31

Downloads
16 (#900,320)

6 months
2 (#1,192,610)

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.
Lebesgue’s dominated convergence theorem in Bishop’s style.Claudio Coen & Enrico Zoli - 2012 - Annals of Pure and Applied Logic 163 (2):140-150.

Add more citations

References found in this work

Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
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