Minimal Predicates for Δ-Definability

A. S. Morozov, D. A. Tussupov

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

2 Цитирования (Scopus)


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.

Язык оригиналаанглийский
Страницы (с-по)328-340
Число страниц13
ЖурналAlgebra and Logic
Номер выпуска4
СостояниеОпубликовано - сен 2020


Подробные сведения о темах исследования «Minimal Predicates for Δ-Definability». Вместе они формируют уникальный семантический отпечаток (fingerprint).