SETS by GERD WECHSUNG in Jena (G.D.R.)') 0. Iritroduet,ion and Resnlt,s The consequences of the existence of Theorem 1 ([3]). P = KP o There exists a &-complete sparse set d 7 ~ coNP. Theorem 2 ( [ 7 ] ) . P = N P e There exists a SL-complete sparse set in NP. B precursor of Theorem 2 is contained i
On the sparse set topology
β Scribed by Pratulananda Das; Amar Kumar Banerjee
- Book ID
- 111493086
- Publisher
- SP Versita
- Year
- 2010
- Tongue
- English
- Weight
- 311 KB
- Volume
- 60
- Category
- Article
- ISSN
- 0139-9918
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Ogiwara and Watanabe showed that if SAT is bounded truth-table reducible to a sparse set, then P = NP. In this paper we simplify their proof, strengthen the result and use it to obtain several new results. Among the new results are the following: β’ Applications of the main theorem to log-truth-tabl
This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones. One of these show