Positive regions of computable binary relations

DOI10.4467/20842589RM.25.001.22717MaRDI QIDQ6887627zbMATH OpenFDO

Authors H. S. Wu

Publication date 9 December 2025

Published in Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4467/20842589RM.25.001.22717

zbMATH Keywords

rough set theorycomputability theoryreverse mathematicsdecision systempositive region

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Foundations of classical theories (including reverse mathematics) (03B30) Applications of computability and recursion theory (03D80)

This page was built for publication: Positive regions of computable binary relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6887627)