Works matching AU Downey, Rod
Results: 47
D.R.E. Degrees and the Nondiamond Theorem.
- Published in:
- Bulletin of the London Mathematical Society, 1989, v. 21, n. 1, p. 43
- By:
- Publication type:
- Article
Online, Computable and Punctual Structure Theory.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 6, p. 1251, doi. 10.1093/jigpal/jzac065
- By:
- Publication type:
- Article
Asymptotic density and the Ershov hierarchy.
- Published in:
- Mathematical Logic Quarterly, 2015, v. 61, n. 3, p. 189, doi. 10.1002/malq.201300081
- By:
- Publication type:
- Article
Iterated effective embeddings of abelian p-groups.
- Published in:
- International Journal of Algebra & Computation, 2014, v. 24, n. 7, p. 1055, doi. 10.1142/S0218196714500465
- By:
- Publication type:
- Article
On Schnorr and computable randomness, martingales, and machines.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 613, doi. 10.1002/malq.200310121
- By:
- Publication type:
- Article
Degrees of d. c. e. reals.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 4/5, p. 345, doi. 10.1002/malq.200310103
- By:
- Publication type:
- Article
Computably Enumerable Reals and Uniformly Presentable Ideals.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, p. 29, doi. 10.1002/1521-3870(200210)48:1+<29::AID-MALQ29>3.0.CO;2-O
- By:
- Publication type:
- Article
Computably Enumerable Reals and Uniformly Presentable Ideals.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, p. 29, doi. 10.1002/1521-3870(200210)48:1+<29::AID-MALQ29>3.0.CO;2-O
- By:
- Publication type:
- Article
On Genericity and Ershov's Hierarchy.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 161, doi. 10.1002/1521-3870(200105)47:2<161::AID-MALQ161>3.0.CO;2-E
- By:
- Publication type:
- Article
On the Universal Splitting Property.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 311, doi. 10.1002/malq.19970430303
- By:
- Publication type:
- Article
Jumps of Hemimaximal Sets.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 8, p. 113, doi. 10.1002/malq.19910370802
- By:
- Publication type:
- Article
A Contiguous Nonbranching Degree.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 375, doi. 10.1002/malq.19890350411
- By:
- Publication type:
- Article
ON A QUESTION OF A. RETZLAFF.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 6, p. 379, doi. 10.1002/malq.19830290605
- By:
- Publication type:
- Article
FOUNDATIONS OF ONLINE STRUCTURE THEORY.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 2, p. 141, doi. 10.1017/bsl.2019.20
- By:
- Publication type:
- Article
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 53, doi. 10.1017/bsl.2017.41
- By:
- Publication type:
- Article
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES, II: SOME RECENT DEVELOPMENTS AND NEW DIRECTIONS.
- Published in:
- New Zealand Journal of Mathematics, 2021, v. 52, p. 175, doi. 10.53733/133
- By:
- Publication type:
- Article
SIR VAUGHAN FREDERICK RANDAL JONES 31 DECEMBER, 1952 -- 6 SEPTEMBER, 2020.
- Published in:
- New Zealand Journal of Mathematics, 2021, v. 52, p. i, doi. 10.53733/173
- By:
- Publication type:
- Article
Preface.
- Published in:
- Theory of Computing Systems, 2018, v. 62, n. 7, p. 1553, doi. 10.1007/s00224-018-9853-6
- By:
- Publication type:
- Article
Computability, Complexity and Randomness.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
Bibliography.
- Published in:
- 2020
- By:
- Publication type:
- Bibliography
Chapter Eight Prompt permissions.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 188
- By:
- Publication type:
- Article
Chapter Seven Embeddings of the 1-3-1 lattice.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 149
- By:
- Publication type:
- Article
Chapter Six m-topped degrees.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 134
- By:
- Publication type:
- Article
Chapter Five Presentations of left-c.e. reals.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 106
- By:
- Publication type:
- Article
Chapter Four Maximal totally α-c.a. degrees.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 84
- By:
- Publication type:
- Article
Chapter Three The hierarchy of totally α-c.a. degrees.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 55
- By:
- Publication type:
- Article
Chapter Two α-c.a. functions.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 23
- By:
- Publication type:
- Article
Chapter One Introduction.
- Published in:
- Princeton Annals of Mathematics Studies, 2020, n. 206, p. 1
- By:
- Publication type:
- Article
Three topological reducibilities for discontinuous functions.
- Published in:
- Transactions of the American Mathematical Society, Series B, 2022, p. 859, doi. 10.1090/btran/115
- By:
- Publication type:
- Article
NOTES ON SACKS' SPLITTING THEOREM.
- Published in:
- Journal of Symbolic Logic, 2024, v. 89, n. 4, p. 1768, doi. 10.1017/jsl.2023.77
- By:
- Publication type:
- Article
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES.
- Published in:
- Journal of Symbolic Logic, 2024, v. 89, n. 3, p. 1370, doi. 10.1017/jsl.2023.26
- By:
- Publication type:
- Article
PUNCTUAL CATEGORICITY AND UNIVERSALITY.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1427, doi. 10.1017/jsl.2020.51
- By:
- Publication type:
- Article
AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 2, p. 717, doi. 10.1017/jsl.2017.78
- By:
- Publication type:
- Article
EXACT PAIRS FOR THE IDEAL OF THE X-TRIVIAL SEQUENCES IN THE TURING DEGREES.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 676, doi. 10.1017/jsl.2014.37
- By:
- Publication type:
- Article
CHARACTERIZING LOWNESS FOR DEMUTH RANDOMNESS.
- Published in:
- Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 526, doi. 10.1017/jsl.2013.21
- By:
- Publication type:
- Article
Arithmetical Sacks Forcing.
- Published in:
- Archive for Mathematical Logic, 2006, v. 45, n. 6, p. 715, doi. 10.1007/s00153-006-0004-4
- By:
- Publication type:
- Article
Index sets and parametric reductions.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 5, p. 329, doi. 10.1007/s001530100082
- By:
- Publication type:
- Article
Slender classes.
- Published in:
- Journal of the London Mathematical Society, 2008, v. 78, n. 1, p. 36, doi. 10.1112/jlms/jdn008
- By:
- Publication type:
- Article
INVARIANCE AND NONINVARIANCE IN THE LATTICE OF $\Pi_1^0$ CLASSES.
- Published in:
- Journal of the London Mathematical Society, 2004, v. 70, n. 3, p. 735, doi. 10.1112/S0024610704005824
- By:
- Publication type:
- Article
ON THE COMPLEXITY OF THE SUCCESSIVITY RELATION IN COMPUTABLE LINEAR ORDERINGS.
- Published in:
- Journal of Mathematical Logic, 2010, v. 10, n. 1/2, p. 83, doi. 10.1142/S0219061310000924
- By:
- Publication type:
- Article
TOTALLY ω-COMPUTABLY ENUMERABLE DEGREES AND BOUNDING CRITICAL TRIPLES.
- Published in:
- Journal of Mathematical Logic, 2007, v. 7, n. 2, p. 145, doi. 10.1142/S0219061307000640
- By:
- Publication type:
- Article
RELATIVIZING CHAITIN'S HALTING PROBABILITY.
- Published in:
- Journal of Mathematical Logic, 2005, v. 5, n. 2, p. 167, doi. 10.1142/S0219061305000468
- By:
- Publication type:
- Article
Foreword.
- Published in:
- 2007
- By:
- Publication type:
- Editorial
The finite intersection principle and genericity.
- Published in:
- Mathematical Proceedings of the Cambridge Philosophical Society, 2016, v. 160, n. 2, p. 279, doi. 10.1017/S0305004115000651
- By:
- Publication type:
- Article
EVERY SET HAS A LEAST JUMP ENUMERATION.
- Published in:
- Journal of the London Mathematical Society, 2000, v. 62, n. 3, p. 641, doi. 10.1112/S0024610700001459
- By:
- Publication type:
- Article
Recursively Enumerable m- and tt-Degrees III: Realizing all Finite Distributive Lattices.
- Published in:
- Journal of the London Mathematical Society, 1994, v. 50, n. 3, p. 440
- By:
- Publication type:
- Article
FOUNDATIONS OF ONLINE STRUCTURE THEORY II: THE OPERATOR APPROACH.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:6)2021
- By:
- Publication type:
- Article