Ding, Decheng

Available identifiers

zbMath Open ding.dechengMaRDI QIDQ162006

List of research outcomes

Publication	Date of Publication	Type
Maximal pairs of computably enumerable sets in the computably Lipschitz degrees	2013-04-15	Paper
The complexity of variable minimal formulas	2010-10-08	Paper
Bounding non-GL2 and R.E.A.	2009-09-29	Paper
Absolutely non-computable predicates and functions in analysis	2009-03-24	Paper
Absolutely Non-effective Predicates and Functions in Computable Analysis	2007-11-13	Paper
Modulo computably enumerable degrees by cupping partners	2007-10-16	Paper
On definable filters in computably enumerable degrees	2007-06-25	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
On the definable ideal generated by the plus cupping c.e. degrees	2007-04-19	Paper
FC-normal and extended stratified logic program	2007-02-20	Paper
An extension of Harrington's noncupping theorem	2007-02-20	Paper
Computability of measurable sets via effective topologies	2006-03-22	Paper
Computability of measurable sets via effective metrics	2005-11-15	Paper
There is no SW-complete c.e. real	2005-08-29	Paper
Infimum properties differ in the weak truth-table degrees and the Turing degrees	2004-11-26	Paper
The Kolmogorov complexity of random reals	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4813892	2004-09-07	Paper
There are 2^{ℵ₀} many 𝐻-degrees in the random reals	2004-08-13	Paper
Characterization of an auto-compatible default theory	2003-12-09	Paper
Fixed-parameter tractability of disjunction-free default reasoning	2003-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4329006	2002-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q2784779	2002-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q2729669	2001-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q2704408	2001-03-19	Paper
Two alternative notions of 'possibility' satisfying Halpern's conditions	2001-03-13	Paper
More on bounding introspection in modal nonmonotonic logics	2001-03-12	Paper
Two tractable subclasses of minimal unsatisfiable formulas	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4364595	1997-11-17	Paper
Isolated d.r.e. degrees are dense in r.e. degree structure	1997-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4333071	1997-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4867681	1996-06-25	Paper
Isolated d-r.e. degree below r.e. degree	1995-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4320153	1995-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4764099	1995-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4320262	1995-07-20	Paper
Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees	1995-06-08	Paper
Default logic about assertions	1995-02-13	Paper
Non-p-generic and strongly nonbranching degree	1994-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q4272353	1994-09-01	Paper
The density of noncontiguous degrees	1994-08-28	Paper
The structures inside Turing degrees of recursively enumerable generic sets	1994-06-05	Paper
A comparison of frequencies of occurrence of \(p\)-generic and non-\(p\)- generic Turing degrees	1994-06-05	Paper
The distribution of the generic recursively enumerable degrees	1993-11-30	Paper
Density of non-p-generic and non-branching r.e. degrees in r.e. low degrees	1993-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4008602	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3999549	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3765754	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3772197	1987-01-01	Paper
Density of recursively inseparable R. E. Sets and universal recrusively inseparability	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3775542	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778018	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778019	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3679165	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680822	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ding, Decheng