Rodney G. Downey

From MaRDI portal
Person:247180

Available identifiers

zbMath Open downey.rodney-grahamWikidataQ7356180 ScholiaQ7356180MaRDI QIDQ247180

List of research outcomes

PublicationDate of PublicationType
Lowness properties for strong reducibilities and the computational power of maximal sets2024-04-15Paper
Online, computable and punctual structure theory2024-02-20Paper
COMPUTABLY COMPACT METRIC SPACES2023-08-10Paper
Computable analysis and classification problems2022-12-16Paper
A MINIMAL SET LOW FOR SPEED2022-11-18Paper
Three topological reducibilities for discontinuous functions2022-10-28Paper
Limit Complexities, Minimal Descriptions, and $n$-Randomness2022-08-05Paper
Cousin’s lemma in second-order arithmetic2022-04-27Paper
RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS2022-04-12Paper
ON SUPERSETS OF NON-LOW SETS2021-12-09Paper
Maximality and collapse in the hierarchy of α-c.a. degrees2021-11-18Paper
https://portal.mardi4nfdi.de/entity/Q51556672021-10-08Paper
Hierarchy of Computably Enumerable Degrees II2021-09-28Paper
Sir Vaughan Frederick Randal Jones2021-09-28Paper
https://portal.mardi4nfdi.de/entity/Q50049632021-08-03Paper
Relativizing computable categoricity2021-07-28Paper
Cousin's lemma in second-order arithmetic2021-05-06Paper
PUNCTUAL CATEGORICITY AND UNIVERSALITY2021-04-15Paper
A minimal set low for speed2020-11-18Paper
Enumerating abelian \(p\)-groups2020-08-25Paper
Realizing Computably Enumerable Degrees in Separating Classes2020-08-23Paper
https://portal.mardi4nfdi.de/entity/Q33041092020-08-05Paper
Foundations of Online Structure Theory II: The Operator Approach2020-07-14Paper
Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees2020-06-19Paper
Graphs are not universal for online computability2020-06-09Paper
A Hierarchy of Turing Degrees2020-03-09Paper
On realization of index sets in \(\Pi_1^0\)-classes2020-02-28Paper
Splitting theorems and low degrees2020-01-17Paper
A WEAKLY 2-GENERIC WHICH BOUNDS A MINIMAL DEGREE2020-01-10Paper
On low for speed oracles2019-11-29Paper
Computability and Randomness2019-10-28Paper
Martin-Löf randomness implies multiple recurrence in effectively closed sets2019-10-22Paper
FOUNDATIONS OF ONLINE STRUCTURE THEORY2019-08-01Paper
Categorical linearly ordered structures2019-07-10Paper
https://portal.mardi4nfdi.de/entity/Q46307942019-04-23Paper
Relationships between computability-theoretic properties of problems2019-03-11Paper
AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES2018-08-10Paper
Degrees containing members of thin Π10 classes are dense and co-dense2018-06-13Paper
Splitting into degrees with low computational strength2018-06-05Paper
On a question of Kalimullin2018-06-04Paper
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES2018-05-03Paper
Corrigendum to: ``Advice classes of parameterized tractability2018-03-21Paper
A Friedberg enumeration of equivalence structures2017-12-04Paper
Corrigendum: "On the complexity of the successivity relation in computable linear orderings"2017-12-04Paper
Lowness and logical depth2017-11-06Paper
The finite intersection principle and genericity2017-09-28Paper
Minimal Pairs in the C.E. Truth-table Degrees2017-06-09Paper
Resolute sequences in initial segment complexity2017-05-31Paper
Any FIP real computes a 1-generic2017-05-23Paper
Kobayashi compressibility2017-05-12Paper
Notes on computable analysis2017-03-31Paper
Generic Muchnik reducibility and presentations of fields2017-01-11Paper
Courcelle's theorem for triangulations2016-11-29Paper
Abelian \(p\)-groups and the halting problem2016-08-31Paper
Multiple Recurrence and Algorithmic Randomness2016-04-14Paper
Myhill-Nerode Methods for Hypergraphs2016-02-19Paper
Solovay functions and their applications in algorithmic randomness2015-08-31Paper
Integer valued betting strategies and Turing degrees2015-07-13Paper
Asymptotic density and the Ershov hierarchy2015-06-22Paper
On \(\Delta_2^0\)-categoricity of equivalence relations2015-05-26Paper
The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees2015-05-15Paper
Iterated effective embeddings of abelian p-groups2015-01-21Paper
EXACT PAIRS FOR THE IDEAL OF THEK-TRIVIAL SEQUENCES IN THE TURING DEGREES2014-12-05Paper
The complexity of computable categoricity2014-11-17Paper
Confronting intractability via parameters2014-10-24Paper
CHARACTERIZING LOWNESS FOR DEMUTH RANDOMNESS2014-09-30Paper
Random strings and tt-degrees of Turing complete C.E. sets2014-09-30Paper
Computable completely decomposable groups2014-09-17Paper
ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS2014-03-10Paper
Myhill-Nerode Methods for Hypergraphs2014-01-14Paper
Fundamentals of parameterized complexity2013-12-06Paper
Strong jump-traceability. II: \(K\)-triviality2013-11-01Paper
https://portal.mardi4nfdi.de/entity/Q28439232013-08-27Paper
Extensions of embeddings below computably enumerable degrees2013-07-08Paper
Effectively categorical abelian groups2013-07-02Paper
LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS2013-06-03Paper
Computable categoricity versus relative computable categoricity2013-05-10Paper
Schnorr Randomness2013-04-19Paper
Trivial Reals2013-04-19Paper
Pseudo-jump inversion, upper cone avoidance, and strong jump-traceability2013-04-16Paper
Lowness for bounded randomness2012-11-27Paper
The Birth and Early Years of Parameterized Complexity2012-09-05Paper
A Basic Parameterized Complexity Primer2012-09-05Paper
Randomness, Computation and Mathematics2012-08-14Paper
Bounded Randomness2012-06-15Paper
A Parameterized Complexity Tutorial2012-06-08Paper
Kolmogorov Complexity and Solovay Functions2012-04-24Paper
https://portal.mardi4nfdi.de/entity/Q32240932012-03-29Paper
Limits on jump inversion for strong reducibilities2011-12-23Paper
Binary subtrees with few labeled paths2011-12-20Paper
ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS2011-10-24Paper
Pseudo-jump inversion and SJT-hard sets2011-09-30Paper
Jump inversions inside effectively closed sets and applications to randomness2011-06-28Paper
Euclidean functions of computable Euclidean domains2011-06-03Paper
On the orbits of computably enumerable sets2010-11-19Paper
Algorithmic Randomness and Complexity2010-10-14Paper
Lowness for Demuth Randomness2010-07-28Paper
Effective packing dimension and traceability2010-07-20Paper
Decidability and computability of certain torsion-free abelian groups2010-06-11Paper
Turing degrees of reals of positive effective packing dimension2010-06-09Paper
Parameterized approximation of dominating set problems2010-06-09Paper
Working with strong reducibilities above totally $\omega $-c.e. and array computable degrees2010-03-08Paper
https://portal.mardi4nfdi.de/entity/Q36564252010-01-13Paper
On computable self-embeddings of computable linear orderings2010-01-07Paper
On problems without polynomial kernels2009-11-10Paper
𝐾-trivial degrees and the jump-traceability hierarchy2009-05-27Paper
Space complexity of abelian groups2009-03-17Paper
https://portal.mardi4nfdi.de/entity/Q35974232009-02-09Paper
The upward closure of a perfect thin class2008-12-05Paper
The isomorphism problem for torsion-free abelian groups is analytic complete2008-11-12Paper
https://portal.mardi4nfdi.de/entity/Q35303922008-10-20Paper
https://portal.mardi4nfdi.de/entity/Q35303932008-10-20Paper
On Problems without Polynomial Kernels (Extended Abstract)2008-08-28Paper
TOTALLY ω-COMPUTABLY ENUMERABLE DEGREES AND BOUNDING CRITICAL TRIPLES2008-08-26Paper
Slender classes2008-08-11Paper
Parameterized Approximation Problems2008-06-03Paper
The Complexity of Orbits of Computably Enumerable Sets2008-05-08Paper
Strong jump-traceability. I: The computably enumerable case2008-03-05Paper
Ideals in computable rings2007-10-17Paper
Subspaces of computable vector spaces2007-10-17Paper
Bounded fixed-parameter tractability and reducibility2007-09-28Paper
Undecidability of the structure of the Solovay degrees of c.e. reals2007-05-30Paper
Theory and Applications of Models of Computation2007-04-30Paper
Schnorr dimension2007-02-09Paper
Online promise problems with online width metrics2007-01-22Paper
Every 1-generic computes a properly 1-generic2007-01-19Paper
Calibrating Randomness2006-12-06Paper
Lowness and nullsets2006-11-29Paper
On the structure of parameterized problems in NP2006-10-10Paper
https://portal.mardi4nfdi.de/entity/Q54893652006-09-26Paper
Arithmetical Sacks forcing2006-09-26Paper
On the Orbits of Computably Enumerable Sets2006-07-11Paper
RELATIVIZING CHAITIN'S HALTING PROBABILITY2006-04-06Paper
New Computational Paradigms2006-01-11Paper
On self-embeddings of computable linear orderings2005-12-29Paper
Developments in Language Theory2005-12-22Paper
https://portal.mardi4nfdi.de/entity/Q57118812005-12-08Paper
https://portal.mardi4nfdi.de/entity/Q56988512005-10-20Paper
A basis theorem for Π₁⁰ classes of positive measure and jump inversion for random reals2005-10-06Paper
https://portal.mardi4nfdi.de/entity/Q53163872005-09-12Paper
Schnorr randomness2005-08-29Paper
Parameterized and Exact Computation2005-08-23Paper
Mathematical Foundations of Computer Science 20042005-08-22Paper
There are no maximal low d.c.e. degrees2005-07-06Paper
https://portal.mardi4nfdi.de/entity/Q46777062005-05-12Paper
INVARIANCE AND NONINVARIANCE IN THE LATTICE OF $\Pi_1^0$ CLASSES2005-03-11Paper
On Schnorr and computable randomness, martingales, and machines2005-02-16Paper
Degrees of d. c. e. reals2005-02-16Paper
Decomposition and infima in the computably enumerable degrees2005-02-09Paper
The Kolmogorov complexity of random reals2004-11-22Paper
On Kurtz randomness2004-11-12Paper
Randomness and reducibility2004-09-08Paper
https://portal.mardi4nfdi.de/entity/Q44608322004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q44608332004-03-29Paper
Computability-theoretic and proof-theoretic aspects of partial and linear orderings2004-03-17Paper
Complementing cappable degrees in the difference hierarchy.2004-03-14Paper
https://portal.mardi4nfdi.de/entity/Q44516422004-02-29Paper
Uniformly hard languages.2003-05-25Paper
https://portal.mardi4nfdi.de/entity/Q47878542003-04-03Paper
Maximal contiguous degrees2003-03-22Paper
https://portal.mardi4nfdi.de/entity/Q47791542002-11-25Paper
Every Set has a Least Jump Enumeration2002-10-22Paper
https://portal.mardi4nfdi.de/entity/Q27203212002-09-03Paper
Presentations of computably enumerable reals.2002-07-31Paper
A Δ20 set with no infinite low subset in either it or its complement2002-07-18Paper
Index sets and parametric reductions2002-07-14Paper
Randomness, Computability, and Density2002-04-23Paper
https://portal.mardi4nfdi.de/entity/Q45139672002-01-16Paper
https://portal.mardi4nfdi.de/entity/Q27625052002-01-09Paper
Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees2001-10-21Paper
Some orbits for \({\mathcal E}\)2001-09-30Paper
https://portal.mardi4nfdi.de/entity/Q45205192001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45039442001-01-17Paper
https://portal.mardi4nfdi.de/entity/Q49460962000-12-17Paper
A set with barely degree2000-12-17Paper
https://portal.mardi4nfdi.de/entity/Q45011412000-09-03Paper
On computing graph minor obstruction sets2000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q42497242000-07-31Paper
https://portal.mardi4nfdi.de/entity/Q42497252000-06-29Paper
Undecidability results for low complexity time classes2000-06-05Paper
https://portal.mardi4nfdi.de/entity/Q42585872000-05-04Paper
https://portal.mardi4nfdi.de/entity/Q42634672000-05-04Paper
https://portal.mardi4nfdi.de/entity/Q49408852000-04-06Paper
The complexity of irredundant sets parameterized by size2000-03-22Paper
The Parametrized Complexity of Some Fundamental Problems in Coding Theory2000-03-19Paper
Effective presentability of Boolean algebras of Cantor-Bendixson rank 11999-11-08Paper
Splitting theorems and the jump operator1999-11-08Paper
https://portal.mardi4nfdi.de/entity/Q42175931999-08-17Paper
https://portal.mardi4nfdi.de/entity/Q43481271999-06-27Paper
On initial segments of computable linear orders1999-06-27Paper
Difference sets and computability theory1999-06-24Paper
Infima in the recursively enumerable weak truth table degrees1999-04-08Paper
Threshold dominating sets and an improved characterization of \(W[2\)]1999-01-12Paper
https://portal.mardi4nfdi.de/entity/Q43814071998-10-19Paper
Contiguity and distributivity in the enumerable Turing degrees1998-10-19Paper
https://portal.mardi4nfdi.de/entity/Q43757891998-10-11Paper
Parameterized circuit complexity and the \(W\) hierarchy1998-08-13Paper
https://portal.mardi4nfdi.de/entity/Q43934801998-06-10Paper
On the parameterized complexity of short computation and factorization1998-06-02Paper
On the Universal Splitting Property1998-04-01Paper
Advice classes of parametrized tractability1997-11-02Paper
There is no degree invariant half-jump1997-10-01Paper
The parameterized complexity of sequence alignment and consensus1997-09-29Paper
There is no fat orbit1997-03-17Paper
Fixed-parameter tractability and completeness II: On completeness for W[1]1997-02-28Paper
Jumps of Minimal Degrees Below 01996-12-12Paper
https://portal.mardi4nfdi.de/entity/Q48632401996-11-04Paper
Lattice embeddings below a nonlow\(_ 2\) recursively enumerable degree1996-10-28Paper
Degree theoretic definitions of the low2 recursively enumerable sets1996-07-16Paper
Fixed-Parameter Tractability and Completeness I: Basic Results1996-02-04Paper
https://portal.mardi4nfdi.de/entity/Q48505491995-10-17Paper
https://portal.mardi4nfdi.de/entity/Q47641031995-09-11Paper
Embedding lattices into the wtt-degrees below 0′1995-08-10Paper
Permutations and Presentations1995-07-27Paper
Fixed-parameter tractability and completeness. IV: On completeness for W\([\) P\(\) and PSPACE analogues]1995-07-26Paper
https://portal.mardi4nfdi.de/entity/Q48378501995-07-03Paper
https://portal.mardi4nfdi.de/entity/Q47641061995-05-01Paper
Recursively Enumerable m - and tt -Degrees III: Realizing all Finite Distributive Lattices1995-04-06Paper
Array nonrecursive degrees and lattice embeddings of the diamond1995-02-16Paper
The structure of the honest polynomial m-degrees1995-01-09Paper
Every Low Boolean Algebra is Isomorphic to a Recursive One1995-01-02Paper
https://portal.mardi4nfdi.de/entity/Q42814971994-11-13Paper
A rank one cohesive set1994-09-05Paper
Highness and bounding minimal pairs1994-08-31Paper
There is no plus-capping degree1994-07-07Paper
https://portal.mardi4nfdi.de/entity/Q42815391994-03-10Paper
Lattice nonembeddings and intervals of the recursively enumerable degrees1994-03-10Paper
Splitting theorems in recursion theory1994-02-17Paper
On the Cantor-Bendixon rank of recursively enumerable sets1993-10-24Paper
Friedberg splittings of recursively enumerable sets1993-09-22Paper
Every recursive Boolean algebra is isomorphic to one with incomplete atoms1993-08-11Paper
Countable thin \(\Pi^0_1\) classes1993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40273201993-02-21Paper
Nondiamond theorems for polynomial time reducibility1993-01-17Paper
https://portal.mardi4nfdi.de/entity/Q40185531993-01-16Paper
Automorphisms of the Lattice of Recursively Enumerable Sets: Promptly Simple Sets1993-01-16Paper
On co-simple isols and their intersection types1992-09-27Paper
Orderings with αth Jump Degree 0 (α)1992-06-28Paper
On \(\Pi{}^ 0_ 1\) classes and their ranked points1992-06-28Paper
Tabular degrees in \(\alpha\)-recursion theory1992-06-28Paper
Automorphisms of the lattice of recursively enumerable sets: Orbits1992-06-28Paper
Jumps of Hemimaximal Sets1992-06-26Paper
Recursive Linear Orders with Incomplete Successivities1992-06-25Paper
On computational complexity and honest polynomial degrees1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q31978131990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q31978141990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q31978161990-01-01Paper
Correction to ``Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures1990-01-01Paper
Minimal degrees recursive in 1-generic degrees1990-01-01Paper
Lattice nonembeddings and initial segments of the recursively enumerable degrees1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32045001989-01-01Paper
On hyper-torre isols1989-01-01Paper
D.R.E. Degrees and the Nondiamond Theorem1989-01-01Paper
Recursively enumerable m- and tt-degrees. I: The quantity of m-degrees1989-01-01Paper
On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders1989-01-01Paper
A Contiguous Nonbranching Degree1989-01-01Paper
Degrees bounding minimal degrees1989-01-01Paper
Completely mitotic r. e. degrees1989-01-01Paper
Intervals and sublattices of the r.e. weak truth table degrees. I: Density1989-01-01Paper
Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding1989-01-01Paper
Classification of degree classes associated with r.e. subspaces1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37641431988-01-01Paper
Two Theorems on Truth Table Degrees1988-01-01Paper
Recursively enumerable \(m\)- and \(tt\)-degrees. II: The distribution of singular degrees1988-01-01Paper
Orbits of Creative Subspaces1987-01-01Paper
Localization of a theorem of Ambos-Spies and the strong anti-splitting property1987-01-01Paper
Automorphisms and Recursive Structures1987-01-01Paper
Degrees of Splittings and Bases of Recursively Enumerable Subspace1987-01-01Paper
T-Degrees, Jump Classes, and Strong Reducibilities1987-01-01Paper
Subsets of hypersimple sets1987-01-01Paper
\(\Delta\)\( ^ 0_ 2\) degrees and transfer theorems1987-01-01Paper
Maximal theories1987-01-01Paper
Splitting properties of r.e. sets and degrees1986-01-01Paper
Bases of Supermaximal Subspaces and Steinitz Systems II1986-01-01Paper
Sound, totally sound, and unsound recursive equivalence types1986-01-01Paper
Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures1986-01-01Paper
Recursion theory and ordered groups1986-01-01Paper
Automorphisms of supermaximal subspaces1985-01-01Paper
The Degrees of R.E. Sets Without the Universal Splitting Property1985-01-01Paper
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field1985-01-01Paper
Perfect McLain groups are superperfect1984-01-01Paper
SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY1984-01-01Paper
A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES1984-01-01Paper
Co-immune subspaces and complementation inV1984-01-01Paper
Decidable subspaces and recursively enumerable subspaces1984-01-01Paper
Bases of supermaximal subspaces and Steinitz systems. I1984-01-01Paper
The universal complementation property1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30411791983-01-01Paper
ON A QUESTION OF A. RETZLAFF1983-01-01Paper
Abstract dependence, recursion theory, and the lattice of recursively enumerable filters1983-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Rodney G. Downey