David E. Diamondstone
From MaRDI portal
Person:976540
Available identifiers
zbMath Open diamondstone.david-eMaRDI QIDQ976540
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Limit computability and ultrafilters | 2023-09-13 | Paper |
The finite intersection principle and genericity | 2017-09-28 | Paper |
Theory spectra and classes of theories | 2017-06-14 | Paper |
A van Lambalgen theorem for Demuth randomness | 2017-05-31 | Paper |
Asymptotic density, computable traceability, and 1-randomness | 2016-07-08 | Paper |
On the structure of the degrees of relative provability | 2015-06-26 | Paper |
Inherent enumerability of strong jump-traceability | 2015-02-02 | Paper |
Lowness for difference tests | 2014-04-04 | Paper |
Natural Large Degree Spectra | 2013-10-10 | Paper |
Low upper bounds in the LR degrees | 2012-04-13 | Paper |
Martin-Löf randomness and Galton-Watson processes | 2012-03-13 | Paper |
Strengthening prompt simplicity | 2011-10-10 | Paper |
Members of Random Closed Sets | 2010-07-28 | Paper |
\(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination | 2010-06-11 | Paper |
Promptness does not imply superlow cuppability | 2010-01-07 | 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: David E. Diamondstone