scientific article; zbMATH DE number 7092345

MaRDI QIDQ5228624

No author found.

Publication date: 12 August 2019

Full work available at URL: http://mathnet.ru/eng/ivm1288

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General and overarching topics; collections (00-XX)

Cites Work

• Unnamed Item
• Set-theoretic reducibilities with respect to a lattice of sets
• Set-theoretic structure of computable sets
• The complexity of theorem-proving procedures

This page was built for publication: