Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. RAN. Ser. Mat.:
Year:
Volume:
Issue:
Page:
Find






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


Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya, Forthcoming paper (Mi im9579)  

On decidability and axiomatizability of finite subset algebra for binary operations

S. M. Dudakovab

a HSE University, Moscow
b Tver State University
Abstract: We consider algebras of finite subsets for infinite groupoids. It is proved that for linear spaces over fields of finite characteristic the theory of constructed algebras are algorithmically equivalent to elementary arithmetic. Further, this result is generalized to arbitrary infinite Abelian groups. For classes of Abelian groups, arbitrary groups, monoids, semigroups, groupoids we prove that the theory of corresponding classes of finite subsets algebras admits interpretation of elementary arithmetic. This also proves the impossibility of recursive axiomatization of such theories. Then we consider lattice of subalgebras for Abelian groups of finite exponent and classes of such lattices for groups, monoids and semigroups, we prove that theories are undecidable and don't have recursive axiomatization.
Keywords: undecidability, elementary arithmetic, recursive axiomatization, linear space, subalgebra lattice
Received: 08.02.2024
Revised: 18.05.2024
UDC: 510.65
MSC: 03B25, 03G10
Language: Russian
Linking options:
  • https://www.mathnet.ru/eng/im9579
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Statistics & downloads:
    Abstract page:27
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024