We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Minimal Predicates for Δ-Definability.
- Authors
Morozov, A. S.; Tussupov, D. A.
- 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.
- Publication
Algebra & Logic, 2020, Vol 59, Issue 4, p328
- ISSN
0002-5232
- Publication type
Academic Journal
- DOI
10.1007/s10469-020-09605-9