Sciact
  • EN
  • RU

Minimal Predicates for Δ-Definability Научная публикация

Журнал Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302
Вых. Данные Год: 2020, Том: 59, Номер: 4, Страницы: 328-340 Страниц : 13 DOI: 10.1007/s10469-020-09605-9
Ключевые слова existential formula; minimal degrees; ordered structure of degrees; Δ-definability
Авторы Morozov A.S. 1,2 , Tussupov D.A. 3
Организации
1 Sobolev Institute of Mathematics. Novosibirsk State University, Novosibirsk, Russian Federation
2 Gumilyov Eurasian National University, Astana, Kazakhstan
3 L. N. Gumilyov Eurasian National University

Реферат: 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. © 2020, Springer Science+Business Media, LLC, part of Springer Nature.
Библиографическая ссылка: Morozov A.S. , Tussupov D.A.
Minimal Predicates for Δ-Definability
Algebra and Logic. 2020. V.59. N4. P.328-340. DOI: 10.1007/s10469-020-09605-9 WOS Scopus OpenAlex
Оригинальная: Морозов А.С. , Тусупов Д.А.
Минимальные предикаты относительно $\Delta$-определимости
Алгебра и логика. 2020. Т.59. №4. С.480-499. DOI: 10.33048/alglog.2020.59.405 РИНЦ MathNet OpenAlex
Идентификаторы БД:
Web of science: WOS:000593057900004
Scopus: 2-s2.0-85096546882
OpenAlex: W3108368101
Цитирование в БД:
БД Цитирований
Scopus 4
OpenAlex 3
Web of science 4
Альметрики: