Follow
Andre Nies
Andre Nies
Verified email at cs.auckland.ac.nz - Homepage
Title
Cited by
Cited by
Year
Computability and randomness
A Nies
OUP Oxford, 2012
9062012
Lowness properties and randomness
A Nies
Advances in Mathematics 197 (1), 274-305, 2005
2312005
Randomness, relativization and Turing degrees
A Nies, F Stephan, SA Terwijn
The Journal of Symbolic Logic 70 (2), 515-535, 2005
1752005
Automatic structures: richness and limitations
B Khoussainov, A Nies, S Rubin, F Stephan
Logical methods in computer science 3, 2007
1352007
Calibrating randomness
R Downey, DR Hirschfeldt, A Nies, SA Terwijn
Bulletin of Symbolic Logic 12 (3), 411-491, 2006
1342006
Trivial reals
RG Downey, DR Hirschfeldt, A Nies, F Stephan
Electronic Notes in Theoretical Computer Science 66 (1), 36-52, 2002
1342002
Randomness and computability: open questions
JS Miller, A Nies
Bulletin of Symbolic Logic 12 (3), 390-410, 2006
1222006
Computable models of theories with few models
B Khoussainov, A Nies, RA Shore
Notre Dame Journal of Formal Logic 38 (2), 165-178, 1997
114*1997
Randomness and differentiability
V Brattka, JS Miller, A Nies
Transactions of the American Mathematical Society 368 (1), 581-605, 2016
1122016
Using random sets as oracles
DR Hirschfeldt, A Nies, F Stephan
Journal of the London Mathematical Society 75 (3), 610-622, 2007
1112007
Interpretability and definability in the recursively enumerable degrees
A Nies, RA Shore, TA Slaman
Proceedings of the London Mathematical Society 77 (2), 241-291, 1998
1041998
Describing groups
A Nies
Bulletin of Symbolic Logic 13 (3), 305-339, 2007
932007
Reals which compute little
A Nies
Logic Colloquium 2, 261-275, 2002
862002
Kolmogorov–Loveland randomness and stochasticity
W Merkle, JS Miller, A Nies, J Reimann, F Stephan
Annals of Pure and Applied Logic 138 (1-3), 183-210, 2006
852006
Lowness for the class of Schnorr random reals
B Kjos-Hanssen, A Nies, F Stephan
SIAM Journal on Computing 35 (3), 647-657, 2005
702005
Relativizing Chaitin's halting probability
R Downey, DR Hirschfeldt, JS Miller, A Nies
Journal of Mathematical Logic 5 (02), 167-192, 2005
672005
Lowness and Π20 nullsets.
R Downey, A Nies, R Weber, L Yu
J. Symb. Log. 71 (3), 1044-1052, 2006
64*2006
Randomness, computability, and density
RG Downey, DR Hirschfeldt, A Nies
SIAM Journal on Computing 31 (4), 1169-1183, 2002
632002
Chaitin omega numbers and strong reducibilities
CS Calude, A Nies
Department of Computer Science, The University of Auckland, New Zealand, 1997
631997
Undecidable fragments of elementary theories
A Nies
Algebra Universalis 35, 8-33, 1996
551996
The system can't perform the operation now. Try again later.
Articles 1–20