Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2022, Number 2, Pages 76–79 (Mi vmumm4466)  

Short notes

Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids

B. O. Konstantinovskiy, F. D. Kholodilov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
References:
Abstract: In this paper, we consider atomic formulas constructed from the binary predicate symbol $\subseteq$ and binary function symbols $\backslash$, $/$, $\cup$, and $\cap$. For $X$ and $Y$ from the powerset of a free semigroup, $X/Y$ denotes the set consisting of elements whose product with any element of $Y$ ( multiplying on the right) belongs to $X$. Similarly, one defines $Y \backslash X$ (multiplying on the left). We prove that every atomic formula that is true in every free semigroup powerset interpretation is also true in every free monoid powerset interpretation.
Key words: Lambek calculus, Lambek calculus models, language models, free semigroup, free monoid.
Received: 09.04.2021
English version:
Moscow University Mathematics Bulletin, 2022, Volume 77, Issue 2, Pages 108–111
DOI: https://doi.org/10.3103/S002713222202005X
Bibliographic databases:
Document Type: Article
UDC: 511
Language: Russian
Citation: B. O. Konstantinovskiy, F. D. Kholodilov, “Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2022, no. 2, 76–79; Moscow University Mathematics Bulletin, 77:2 (2022), 108–111
Citation in format AMSBIB
\Bibitem{KonKho22}
\by B.~O.~Konstantinovskiy, F.~D.~Kholodilov
\paper Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids
\jour Vestnik Moskov. Univ. Ser.~1. Mat. Mekh.
\yr 2022
\issue 2
\pages 76--79
\mathnet{http://mi.mathnet.ru/vmumm4466}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4460003}
\zmath{https://zbmath.org/?q=an:7584510}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2022
\vol 77
\issue 2
\pages 108--111
\crossref{https://doi.org/10.3103/S002713222202005X}
Linking options:
  • https://www.mathnet.ru/eng/vmumm4466
  • https://www.mathnet.ru/eng/vmumm/y2022/i2/p76
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:42
    Full-text PDF :10
    References:17
    First page:1
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024