Abstract
In the classical Cantor topology or in the superset topology, NP and, consequently, classes included in NP are meagre. However, in a natural combination of the two topologies, we prove that NP — P, if not empty, is a second category class, while NP-complete sets form a first category class. These results are extended to different levels in the polynomial hierarchy and to the low and high hierarchies. P-immune sets in NP, NP-simple sets, P-bi-immune sets and NP-effectively simple sets are all second category (if not empty). It is shown that if C is any of the above second category classes, then for all B∈NP there exists an A∈ C such that A is arbitrarily close to B infinitely often.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
