<?xml version="1.0" encoding="utf-8"?>
<journal>
<title>Iranian Journal of Mathematical Sciences and Informatics</title>
<title_fa>مجله علوم ریاضی و انفورماتیک</title_fa>
<short_title>IJMSI</short_title>
<subject>Basic Sciences</subject>
<web_url>http://ijmsi.ir</web_url>
<journal_hbi_system_id>1</journal_hbi_system_id>
<journal_hbi_system_user>admin</journal_hbi_system_user>
<journal_id_issn>1735-4463</journal_id_issn>
<journal_id_issn_online>2008-9473</journal_id_issn_online>
<journal_id_pii>8</journal_id_pii>
<journal_id_doi>10.61882/ijmsi</journal_id_doi>
<journal_id_iranmedex></journal_id_iranmedex>
<journal_id_magiran></journal_id_magiran>
<journal_id_sid>14</journal_id_sid>
<journal_id_nlai>8888</journal_id_nlai>
<journal_id_science>13</journal_id_science>
<language>en</language>
<pubdate>
	<type>jalali</type>
	<year>1404</year>
	<month>6</month>
	<day>1</day>
</pubdate>
<pubdate>
	<type>gregorian</type>
	<year>2025</year>
	<month>9</month>
	<day>1</day>
</pubdate>
<volume>20</volume>
<number>2</number>
<publish_type>online</publish_type>
<publish_edition>1</publish_edition>
<article_type>fulltext</article_type>
<articleset>
	<article>


	<language>en</language>
	<article_id_doi></article_id_doi>
	<title_fa></title_fa>
	<title>Some Mathematical Logical Proofs for the Radon-Nikodym Theorem and the Stone Representation Theorem for Measure Algebras</title>
	<subject_fa>عمومى</subject_fa>
	<subject>General</subject>
	<content_type_fa>پژوهشي</content_type_fa>
	<content_type>Research paper</content_type>
	<abstract_fa></abstract_fa>
	<abstract>&lt;div style=&quot;text-align: justify;&quot;&gt;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 &amp;rdquo;integration logic&amp;rdquo; 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.&lt;/div&gt;</abstract>
	<keyword_fa></keyword_fa>
	<keyword>Radon-Nikodym theorem, Stone representation theorem for measure algebras, Logical compactness theorem, Integration logic.</keyword>
	<start_page>173</start_page>
	<end_page>189</end_page>
	<web_url>http://ijmsi.ir/browse.php?a_code=A-10-6730-1&amp;slc_lang=en&amp;sid=1</web_url>


<author_list>
	<author>
	<first_name>Alireza</first_name>
	<middle_name></middle_name>
	<last_name>Mofidi</last_name>
	<suffix></suffix>
	<first_name_fa></first_name_fa>
	<middle_name_fa></middle_name_fa>
	<last_name_fa></last_name_fa>
	<suffix_fa></suffix_fa>
	<email>mofidi@aut.ac.ir</email>
	<code>100319475328460011740</code>
	<orcid>100319475328460011740</orcid>
	<coreauthor>Yes
</coreauthor>
	<affiliation>Department of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), Iran</affiliation>
	<affiliation_fa></affiliation_fa>
	 </author>


</author_list>


	</article>
</articleset>
</journal>
