The following pages link to Ding, Decheng (Q162006):
Displaying 50 items.
- (Q585924) (redirect page) (← links)
- The structures inside Turing degrees of recursively enumerable generic sets (Q687928) (← links)
- A comparison of frequencies of occurrence of \(p\)-generic and non-\(p\)- generic Turing degrees (Q687929) (← links)
- The distribution of the generic recursively enumerable degrees (Q688848) (← links)
- The complexity of variable minimal formulas (Q708020) (← links)
- Computability of measurable sets via effective topologies (Q818928) (← links)
- FC-normal and extended stratified logic program (Q865986) (← links)
- An extension of Harrington's noncupping theorem (Q866020) (← links)
- On the definable ideal generated by the plus cupping c.e. degrees (Q877264) (← links)
- The density of noncontiguous degrees (Q1312971) (← links)
- Default logic about assertions (Q1344433) (← links)
- Isolated d.r.e. degrees are dense in r.e. degree structure (Q1354326) (← links)
- (Q1400062) (redirect page) (← links)
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- Characterization of an auto-compatible default theory (Q1415949) (← links)
- The Kolmogorov complexity of random reals (Q1887661) (← links)
- Infimum properties differ in the weak truth-table degrees and the Turing degrees (Q1888712) (← links)
- Isolated d-r.e. degree below r.e. degree (Q1895496) (← links)
- Maximal pairs of computably enumerable sets in the computably Lipschitz degrees (Q1946505) (← links)
- Two tractable subclasses of minimal unsatisfiable formulas (Q1961649) (← links)
- Density of non-p-generic and non-branching r.e. degrees in r.e. low degrees (Q2367847) (← links)
- On definable filters in computably enumerable degrees (Q2370372) (← links)
- Modulo computably enumerable degrees by cupping partners (Q2454661) (← links)
- (Q2704408) (← links)
- (Q2729669) (← links)
- (Q2784779) (← links)
- Bounding non-GL<sub>2</sub> and R.E.A. (Q3399188) (← links)
- Absolutely non-computable predicates and functions in analysis (Q3616216) (← links)
- (Q3679165) (← links)
- (Q3680822) (← links)
- (Q3765754) (← links)
- Density of recursively inseparable R. E. Sets and universal recrusively inseparability (Q3772196) (← links)
- (Q3772197) (← links)
- (Q3775542) (← links)
- (Q3778018) (← links)
- (Q3778019) (← links)
- (Q3999549) (← links)
- (Q4008602) (← links)
- (Q4272353) (← links)
- Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees (Q4304089) (← links)
- Non-p-generic and strongly nonbranching degree (Q4306309) (← links)
- (Q4320153) (← links)
- (Q4320262) (← links)
- (Q4329006) (← links)
- (Q4333071) (← links)
- (Q4364595) (← links)
- Two alternative notions of 'possibility' satisfying Halpern's conditions (Q4487259) (← links)
- (Q4764099) (← links)
- There are 2^{ℵ₀} many 𝐻-degrees in the random reals (Q4813660) (← links)
- (Q4813892) (← links)