- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The logic of integration
Archive for Mathematical Logic 48 (5):465-492 (2009)
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 formulasMy notes
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.
Definable subgroups of measure algebras.Alexander Berenstein - 2006 - Mathematical Logic Quarterly 52 (4):367-374.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
Analytics
Added to PP
2013-12-01
Downloads
33 (#470,805)
6 months
5 (#652,053)
2013-12-01
Downloads
33 (#470,805)
6 months
5 (#652,053)
Historical graph of downloads
Citations of this work
Model theory of measure spaces and probability logic.Rutger Kuyper & Sebastiaan A. Terwijn - 2013 - Review of Symbolic Logic 6 (3):367-393.
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.
Random variables and integral logic.Karim Khanaki & Seyed-Mohammad Bagheri - 2011 - Mathematical Logic Quarterly 57 (5):494-503.
References found in this work
Continuous model theory.Chen Chung Chang - 1966 - Princeton,: Princeton University Press. Edited by H. Jerome Keisler.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo