Volume 20, Issue 2 (9-2025)
IJMSI 2025, 20(2): 173-189 |
Back to browse issues page
Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
Mofidi A. Some Mathematical Logical Proofs for the Radon-Nikodym Theorem and the Stone Representation Theorem for Measure Algebras. IJMSI 2025; 20 (2) :173-189
URL: http://ijmsi.ir/article-1-2111-en.html
URL: http://ijmsi.ir/article-1-2111-en.html
Abstract:
The celebrated Radon-Nikodym theorem and Stone representation theorem for measure algebras are two important classical results in analysis. This paper pursues two main goals. One is to give new proofs for these theorems by using ideas from logic and application of an important theorem, namely, the logical compactness theorem. The second and even more important goal is to try to reveal more the power of logical methods in analysis in particular measure theory, and make stronger connections between two fields of analysis and logic. Through the paper, we use a logical setting called ”integration logic” which is a framework for studying measure and probability structures through logical means. The paper is mostly written for general mathematicians, in particular the people active in logic or analysis as the main audiences. It is self-contained and does not require advanced prerequisite knowledge from logic or analysis.
Keywords: Radon-Nikodym theorem, Stone representation theorem for measure algebras, Logical compactness theorem, Integration logic.
Type of Study: Research paper |
Subject:
General
References
1. S. Bagheri, M. Pourmahdian, The Logic of Integration, Arch. Math. Logic., 48, (2009), 465-492. [DOI:10.1007/s00153-009-0133-7]
2. D. Hoover, Probability Logic, Annals of Mathematical Logic, 14, (1978), 287-313. [DOI:10.1016/0003-4843(78)90022-0]
3. H. Keisler, Probability Quantifiers, in: Model Theoretic Logics, edited by J. Barwise and S. Feferman, Springer-Verlag, 1985, pp. 509-556. [DOI:10.1017/9781316717158.021]
4. D. Fremlin, Measure Theory, vol. 2. Torres Fremlin, 2003.
5. A. Mofidi, On Some Dynamical Aspects of NIP Theories, Arch. Math. Logic, 57(1), (2018), 37-71. [DOI:10.1007/s00153-017-0580-5]
6. A. Mofidi, Uniform Logical New Proofs for the Daniell-Stone Theorem and the Riesz Representation Theorem, Bull. Iranian Math. Soc., 48(5), (2022), 2699-2723. [DOI:10.1007/s41980-021-00662-z]
7. A. Mofidi, S. M. Bagheri, Quantified Universes and Ultraproduct, Math. Logic Quart., 58, (2012), 63-74. [DOI:10.1002/malq.201110019]
8. M. Raˇskovi'c, R. Dordevi'c, Probability Quantifiers and Operators, Vesta Company, Belgrade, 1996.
9. D. Ross, Nonstandard Measure Construction - solutions and Problems in: Nonstandard Methods and Applications in Mathematics, edited by N. Cutland, M. Di Nasso, D. Ross, Cambridge University Press, 2006, pp. 127-146. [DOI:10.1017/9781316755761.006]
| Rights and permissions | |
 |
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. |
