The logic of integration

Archive for Mathematical Logic 48 (5):465-492 (2009)
  Copy   BIBTEX

Abstract

We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,649

External links

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

Through your library

Similar books and articles

Elementary Equivalence of Some Rings of Definable Functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
Hausdorff Measure on o-Minimal Structures.A. Fornasiero & E. Vasquez Rifo - 2012 - Journal of Symbolic Logic 77 (2):631-648.
On Ultracoproducts of Compact Hausdorff Spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.
Standard Sets in Nonstandard Set Theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
On Elementary Embeddings From an Inner Model to the Universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Stability and Stable Groups in Continuous Logic.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):1111-1136.
Definable Operators on Hilbert Spaces.Isaac Goldbring - 2012 - Notre Dame Journal of Formal Logic 53 (2):193-201.
Definability of Groups in ℵ₀-Stable Metric Structures.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.
An Arithmetical View to First-Order Logic.Seyed Mohammad Bagheri, Bruno Poizat & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):745-755.
Elementary Classes in Basic Modal Logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Definable Subgroups of Measure Algebras.Alexander Berenstein - 2006 - Mathematical Logic Quarterly 52 (4):367-374.
A Note on Graded Modal Logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.

Analytics

Added to PP
2013-12-01

Downloads
28 (#413,592)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Random Variables and Integral Logic.Karim Khanaki & Seyed-Mohammad Bagheri - 2011 - Mathematical Logic Quarterly 57 (5):494-503.
Quantified Universes and Ultraproducts.Alireza Mofidi & Seyed-Mohammad Bagheri - 2012 - Mathematical Logic Quarterly 58 (1-2):63-74.
Haar Measure and Integral Logic.Karim Khanaki & Massoud Amini - 2012 - Mathematical Logic Quarterly 58 (4):294-302.

Add more citations

References found in this work

Continuous Model Theory.Chen Chung Chang - 1966 - Princeton: Princeton University Press.
Probability Logic.Douglas N. Hoover - 1978 - Annals of Mathematical Logic 14 (3):287.

Add more references