Search Results - "DIAMONDSTONE, DAVID"

A van Lambalgen theorem for Demuth randomness.

Authors: Diamondstone, David Greenberg, Noam Turetsky, Dan

Source: Proceedings of the 12th Asian Logic Conference. 2013, p115-124. 10p.

The finite intersection principle and genericity.

Authors: DIAMONDSTONE, DAVID DOWNEY, ROD GREENBERG, NOAM et al.

Source: Mathematical Proceedings of the Cambridge Philosophical Society. Mar2016, Vol. 160 Issue 2, p279-297. 19p.

Limit computability and ultrafilters.

Authors: Andrews, Uri Cai, Mingzhong Diamondstone, David et al.

Source: Computability. 2023, Vol. 12 Issue 2, p101-115. 15p.

INHERENT ENUMERABILITY OF STRONG JUMP-TRACEABILITY.

Authors: DIAMONDSTONE, DAVID GREENBERG, NOAM TURETSKY, DANIEL D.

Source: Transactions of the American Mathematical Society. Mar2015, Vol. 367 Issue 3, p1771-1796. 26p.

Martin-Löf randomness and Galton–Watson processes

Authors: Diamondstone, David Kjos-Hanssen, Bjørn

Source: Annals of Pure & Applied Logic. May2012, Vol. 163 Issue 5, p519-529. 11p.

Low upper bounds in the LR degrees

Authors: Diamondstone, David¹ ddiamondstone@gmail.com

Source: Annals of Pure & Applied Logic. Mar2012, Vol. 163 Issue 3, p314-320. 7p.

STRENGTHENING PROMPT SIMPLICITY.

Authors: DIAMONDSTONE, DAVID KENG MENG NG

Source: Journal of Symbolic Logic; Sep2011, Vol. 76 Issue 3, p946-972, 27p

PROMPTNESS DOES NOT IMPLY SUPERLOW CUPPABILITY.

Authors: DIAMONDSTONE, DAVID¹, ded@math.uchicago.edu

Source: Journal of Symbolic Logic; Dec2009, Vol. 74 Issue 4, p1264-1272, 9p

On the structure of the degrees of relative provability.

Authors: Andrews, Uri Cai, Mingzhong Diamondstone, David et al.

Source: Israel Journal of Mathematics. Apr2015, Vol. 207 Issue 1, p449-478. 30p.

THEORY SPECTRA AND CLASSES OF THEORIES.

Authors: ANDREWS, URI CAI, MINGZHONG DIAMONDSTONE, DAVID et al.

Source: Transactions of the American Mathematical Society. Sep2017, Vol. 369 Issue 9, p6493-6510. 18p.