Minimal Predicates for Δ-Definability

被引：0
|
作者：
A. S. Morozov
D. A. Tussupov
机构：
[1] Sobolev Institute of Mathematics. Novosibirsk State University,
[2] Gumilyov Eurasian National University,undefined
来源：
Algebra and Logic | 2020年 / 59卷
关键词：
Δ-definability; existential formula; ordered structure of degrees; minimal degrees;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：12
相关论文
共 50 条
12345