<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE ArticleSet PUBLIC "-//NLM//DTD PubMed 2.7//EN" "https://dtd.nlm.nih.gov/ncbi/pubmed/in/PubMed.dtd">
<ArticleSet>
<Article>
<Journal>
				<PublisherName>Shahid Beheshti University</PublisherName>
				<JournalTitle>Categories and General Algebraic Structures with Applications</JournalTitle>
				<Issn>2345-5853</Issn>
				<Volume>20</Volume>
				<Issue>1</Issue>
				<PubDate PubStatus="epublish">
					<Year>2024</Year>
					<Month>01</Month>
					<Day>01</Day>
				</PubDate>
			</Journal>
<ArticleTitle>Notes on the spatial part of a frame</ArticleTitle>
<VernacularTitle></VernacularTitle>
			<FirstPage>105</FirstPage>
			<LastPage>129</LastPage>
			<ELocationID EIdType="pii">104138</ELocationID>
			
<ELocationID EIdType="doi">10.48308/cgasa.2023.233584.1435</ELocationID>
			
			<Language>EN</Language>
<AuthorList>
<Author>
					<FirstName>Igor</FirstName>
					<LastName>Arrieta</LastName>
<Affiliation>School of Computer Science, University of Birmingham, B15 2TT
Birmingham, UK</Affiliation>
<Identifier Source="ORCID">0000-0002-5319-4916</Identifier>

</Author>
<Author>
					<FirstName>Jorge</FirstName>
					<LastName>Picado</LastName>
<Affiliation>Department of Mathematics
University of Coimbra
PORTUGAL</Affiliation>
<Identifier Source="ORCID">0000-0001-7837-1221</Identifier>

</Author>
<Author>
					<FirstName>Ales</FirstName>
					<LastName>Pultr</LastName>
<Affiliation>Department of Applied Mathematics and ITI, MFF, Charles University,
Malostranské ném. 24, 11800 Praha 1, Czech Republic</Affiliation>
<Identifier Source="ORCID">0000-0002-9308-3700</Identifier>

</Author>
</AuthorList>
				<PublicationType>Journal Article</PublicationType>
			<History>
				<PubDate PubStatus="received">
					<Year>2023</Year>
					<Month>10</Month>
					<Day>27</Day>
				</PubDate>
			</History>
		<Abstract>A locale (frame) L has a largest spatial sublocale generated by the primes (spectrum points), the spatial part SpL. In this paper we discuss some of the properties of the embeddings SpL ⊆ L. First we analyze the behaviour of the spatial parts in the assembly: the points of L and of S(L)^op (∼=&lt;br /&gt;the congruence frame) are in a natural one-one correspondence while the topologies of SpL and Sp(S(L)^op) differ. Then we concentrate on some special types of embeddings of SpL into L, namely in the questions when SpL is complemented, closed, or open. While in the first part L was general, here we need some restrictions (weak separation axioms) to obtain suitable formulas</Abstract>
		<ObjectList>
			<Object Type="keyword">
			<Param Name="value">locale</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">prime element</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">spectrum</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">sublocale</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">supplement</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Boolean sublocale</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">spatial part</Param>
			</Object>
		</ObjectList>
<ArchiveCopySource DocType="pdf">https://cgasa.sbu.ac.ir/article_104138_c6a276463be68e8c90c59f4dc7645cf1.pdf</ArchiveCopySource>
</Article>
</ArticleSet>
