Minimal Predicates for Δ-Definability Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||||
|---|---|---|---|---|---|---|---|
| Output data | Year: 2020, Volume: 59, Number: 4, Pages: 328-340 Pages count : 13 DOI: 10.1007/s10469-020-09605-9 | ||||||
| Tags | existential formula; minimal degrees; ordered structure of degrees; Δ-definability | ||||||
| Authors |
|
||||||
| Affiliations |
|
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. © 2020, Springer Science+Business Media, LLC, part of Springer Nature.
Cite:
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
Minimal Predicates for Δ-Definability
Algebra and Logic. 2020. V.59. N4. P.328-340. DOI: 10.1007/s10469-020-09605-9 WOS Scopus OpenAlex
Original:
Морозов А.С.
, Тусупов Д.А.
Минимальные предикаты относительно $\Delta$-определимости
Алгебра и логика. 2020. Т.59. №4. С.480-499. DOI: 10.33048/alglog.2020.59.405 РИНЦ MathNet OpenAlex
Минимальные предикаты относительно $\Delta$-определимости
Алгебра и логика. 2020. Т.59. №4. С.480-499. DOI: 10.33048/alglog.2020.59.405 РИНЦ MathNet OpenAlex
Identifiers:
| Web of science: | WOS:000593057900004 |
| Scopus: | 2-s2.0-85096546882 |
| OpenAlex: | W3108368101 |