<?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>1401</year>
	<month>6</month>
	<day>1</day>
</pubdate>
<pubdate>
	<type>gregorian</type>
	<year>2022</year>
	<month>9</month>
	<day>1</day>
</pubdate>
<volume>17</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>Linear Formulas in Continuous Logic</title>
	<subject_fa>تخصصي</subject_fa>
	<subject>Special</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;We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linear $Delta_n$-sentences and positive linear theories will be given.&lt;/div&gt;</abstract>
	<keyword_fa></keyword_fa>
	<keyword>Continuous logic, Ultramean, Linear formula, $Sigma_n$-formula, Positive formula.</keyword>
	<start_page>75</start_page>
	<end_page>86</end_page>
	<web_url>http://ijmsi.ir/browse.php?a_code=A-10-430-2&amp;slc_lang=en&amp;sid=1</web_url>


<author_list>
	<author>
	<first_name>S. M.</first_name>
	<middle_name></middle_name>
	<last_name>Bagheri</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>bagheri@modares.ac.ir</email>
	<code>10031947532846009582</code>
	<orcid>10031947532846009582</orcid>
	<coreauthor>Yes
</coreauthor>
	<affiliation>Department of Pure Mathematics, Faculty of Mathematical Sciences, Tarbiat Modares University, Tehran, Iran</affiliation>
	<affiliation_fa></affiliation_fa>
	 </author>


	<author>
	<first_name>F.</first_name>
	<middle_name></middle_name>
	<last_name>Fadai</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>fadai@modares.ac.ir</email>
	<code>10031947532846009583</code>
	<orcid>10031947532846009583</orcid>
	<coreauthor>No</coreauthor>
	<affiliation>Department of Pure Mathematics, Faculty of Mathematical Sciences, Tarbiat Modares University, Tehran, Iran</affiliation>
	<affiliation_fa></affiliation_fa>
	 </author>


</author_list>


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