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

computability theorydecision systempositive regionreverse mathematicsrough set theory

Mathematics Subject Classification ID

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

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)