Algebra i logika
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


Algebra Logika:
Year:
Volume:
Issue:
Page:
Find




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

Algebra i logika, 2020, Volume 59, Number 4, Pages 480–499
DOI: https://doi.org/10.33048/alglog.2020.59.405 (Mi al2628) 		 
This article is cited in 3 scientific papers (total in 3 papers)

Minimal predicates for $\Delta$-definability

A. S. Morozovab, D. A. Tussupovc

a Novosibirsk State University
b Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
c Eurasian National University named after L.N. Gumilyov, Nur-Sultan
Full-text PDF (266 kB) Citations (3)
References:
PDF
HTML
DOI: https://doi.org/10.33048/alglog.2020.59.405
Abstract: We consider two kinds of reducibilities on finite families of predicates on a countable set: the definability of predicates and their complements of one family via another by means of existential formulas with parameters and the same definability on isomorphism types of families. Ordered structures of degrees generated by families of unary predicates are described. It is proved that for both reducibilities, there exist continuum many minimal nonzero degrees.
Keywords: $\Delta$-definability, existential formula, ordered structure of degrees, minimal degrees.
Funding agency Grant number
Ministry of Education and Science of the Republic of Kazakhstan AP08855497
Siberian Branch of Russian Academy of Sciences I.1.1, проект № 0314-2019-0003
D. A. Tussupov is Supported by KN MON RK (project No. AP08855497). A. S. Morozov is Supported by SB RAS Fundamental Research Program I.1.1 (project No. 0314-2019-0003).
Received: 04.12.2019
Revised: 24.11.2020
English version:
Algebra and Logic, 2020, Volume 59, Issue 4, Pages 328–340
DOI: https://doi.org/10.1007/s10469-020-09605-9
Bibliographic databases:
Document Type: Article
UDC: 512.5:510.6
Language: Russian
Citation: A. S. Morozov, D. A. Tussupov, “Minimal predicates for $\Delta$-definability”, Algebra Logika, 59:4 (2020), 480–499; Algebra and Logic, 59:4 (2020), 328–340
Citation in format AMSBIB
\Bibitem{MorTus20}
\by A.~S.~Morozov, D.~A.~Tussupov
\paper Minimal predicates for $\Delta$-definability
\jour Algebra Logika
\yr 2020
\vol 59
\issue 4
\pages 480--499
\mathnet{http://mi.mathnet.ru/al2628}
\crossref{https://doi.org/10.33048/alglog.2020.59.405}
\transl
\jour Algebra and Logic
\yr 2020
\vol 59
\issue 4
\pages 328--340
\crossref{https://doi.org/10.1007/s10469-020-09605-9}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000593057900004}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85096546882}
Linking options:
  • https://www.mathnet.ru/eng/al2628
  • https://www.mathnet.ru/eng/al/v59/i4/p480
    • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Statistics & downloads:
    Abstract page:192
    Full-text PDF :39
    References:32
    First page:4
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024