Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
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


Bul. Acad. Ştiinţe Repub. Mold. Mat.:
Year:
Volume:
Issue:
Page:
Find




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

Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2013, Number 2-3, Pages 47–52 (Mi basm339)  
Infinitely many maximal primitive positive clones in a diagonalizable algebra

Andrei Rusuab

a Ovidius University of Constanţa, bd. Mamaia 124, Constanţa, România
b Information Society Development Institute, str. Academiei 5a, Chişinău, Moldova
Full-text PDF (104 kB)
References:
PDF
HTML
Abstract: We present a rather simple example of infinitely many maximal primitive positive clones in a diagonalizable algebra, which serve as an algebraic model for the provability propositional logic $GL$.
Keywords and phrases: primitive positive clones, provability logic, diagonalizable algebra.
Received: 18.02.2013
Document Type: Article
MSC: 03F45, 03G25, 06E25
Language: English
Citation: Andrei Rusu, “Infinitely many maximal primitive positive clones in a diagonalizable algebra”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2013, no. 2-3, 47–52
Citation in format AMSBIB
\Bibitem{Rus13}
\by Andrei~Rusu
\paper Infinitely many maximal primitive positive clones in a~diagonalizable algebra
\jour Bul. Acad. \c Stiin\c te Repub. Mold. Mat.
\yr 2013
\issue 2-3
\pages 47--52
\mathnet{http://mi.mathnet.ru/basm339}
Linking options:
  • https://www.mathnet.ru/eng/basm339
  • https://www.mathnet.ru/eng/basm/y2013/i2/p47
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
    Statistics & downloads:
    Abstract page:606
    Full-text PDF :40
    References:27
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024