×

zbMATH — the first resource for mathematics

Nies, André Otfrid

Compute Distance To:
Author ID: nies.andre-otfrid Recent zbMATH articles by "Nies, André Otfrid"
Published as: Nies, André; Nies, Andre; Nies, A.; Nies, André Otfrid; Nies, Andre O.
Documents Indexed: 133 Publications since 1992, including 4 Books

Publications by Year

Citations contained in zbMATH Open

114 Publications have been cited 1,240 times in 584 Documents Cited by Year
Computability and randomness. Zbl 1169.03034
Nies, André
156
2009
Lowness properties and randomness. Zbl 1141.03017
Nies, André
92
2005
Computability and randomness. Zbl 1237.03027
Nies, André
64
2012
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
44
2005
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
41
2006
Randomness and computability: open questions. Zbl 1169.03033
Miller, Joseph S.; Nies, André
39
2006
Computable models of theories with few models. Zbl 0891.03013
Khoussainov, Bakhadyr; Nies, Andre; Shore, Richard A.
36
1997
Interpretability and definability in the recursively enumerable degrees. Zbl 0904.03028
Nies, André; Shore, Richard A.; Slaman, Theodore A.
36
1998
Using random sets as oracles. Zbl 1128.03036
Hirschfeldt, Denis R.; Nies, André; Stephan, Frank
35
2007
Trivial reals. Zbl 1044.03027
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André; Stephan, Frank
31
2003
Lowness for the class of Schnorr random reals. Zbl 1095.68043
Kjos-Hanssen, Bjorn; Nies, André; Stephan, Frank
28
2006
Describing groups. Zbl 1167.20017
Nies, André
26
2007
Relativizing Chaitin’s halting probability. Zbl 1093.03025
Downey, Rod; Hirschfeldt, Denis R.; Miller, Joseph S.; Nies, André
25
2005
Automatic structures: richness and limitations. Zbl 1128.03028
Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank
24
2007
Randomness, computability, and density. Zbl 1052.68060
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André
19
2002
Reals which compute little. Zbl 1107.03047
Nies, André
18
2006
Kolmogorov-Loveland randomness and stochasticity. Zbl 1097.03041
Merkle, Wolfgang; Miller, Joseph S.; Nies, André; Reimann, Jan; Stephan, Frank
18
2006
Undecidable fragments of elementary theories. Zbl 0838.03035
Nies, A.
16
1996
Randomness and differentiability. Zbl 1402.03062
Brattka, Vasco; Miller, Joseph S.; Nies, André
16
2016
Randomness via effective descriptive set theory. Zbl 1118.03034
Hjorth, Greg; Nies, André
15
2007
Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080
Calude, Cristian S.; Nies, André
15
1997
The \(\Pi_{3}\)-theory of the computably enumerable Turing degrees is undecidable. Zbl 0904.03029
Lempp, Steffen; Nies, André; Slaman, Theodore A.
15
1998
Lowness properties and approximations of the jump. Zbl 1137.03025
Figueira, Santiago; Nies, André; Stephan, Frank
15
2008
Lowness and \(\Pi^0_2\) nullsets. Zbl 1112.03040
Downey, Rod; Nies, Andre; Weber, Rebecca; Yu, Liang
14
2006
Demuth randomness and computational complexity. Zbl 1223.03026
Kučera, Antonín; Nies, André
14
2011
FA-presentable groups and rings. Zbl 1165.03017
Nies, André; Thomas, Richard M.
13
2008
Separating classes of groups by first-order sentences. Zbl 1059.20002
Nies, André
13
2003
Coding in the partial order of enumerable sets. Zbl 0890.03016
Harrington, Leo; Nies, André
12
1998
Benign cost functions and lowness properties. Zbl 1221.03036
Greenberg, Noam; Nies, André
11
2011
Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074
Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan
11
2014
Computably enumerable sets and quasi-reducibility. Zbl 0930.03049
Downey, R.; LaForte, G.; Nies, A.
10
1998
Lowness of higher randomness notions. Zbl 1153.03020
Chong, C. T.; Nies, Andre; Yu, Liang
9
2008
The theory of the recursively enumerable weak truth-table degrees is undecidable. Zbl 0776.03020
Ambos-Spies, Klaus; Nies, André; Shore, Richard A.
9
1992
Characterizing the strongly jump-traceable sets via randomness. Zbl 1257.03068
Greenberg, Noam; Hirschfeldt, Denis R.; Nies, André
9
2012
Coherent randomness tests and computing the \(K\)-trivial sets. Zbl 1375.03049
Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Nies, André; Turetsky, Dan
8
2016
Denjoy, Demuth and density. Zbl 1338.03088
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
8
2014
Aspects of free groups. Zbl 1068.20027
Nies, André
7
2003
Parameter definability in the recursively enumerable degrees. Zbl 1025.03031
Nies, André
7
2003
Finite automata presentable Abelian groups. Zbl 1219.68116
Nies, André; Semukhin, Pavel
6
2009
The last question on recursively enumerable \(m\)-degrees. Zbl 0846.03017
Nies, A.
6
1994
Effectively dense Boolean algebras and their applications. Zbl 0958.03023
Nies, André
6
2000
Intervals of the lattice of computably enumerable sets and effective boolean algebras. Zbl 0892.03016
Nies, André
6
1997
A new spectrum of recursive models. Zbl 1007.03036
Nies, André
6
1999
The classification problem for compact computable metric spaces. Zbl 1433.03153
Melnikov, Alexander G.; Nies, André
6
2013
A unifying approach to the Gamma question. Zbl 1395.03019
Monin, Benoit; Nies, André
6
2015
Algorithmic aspects of Lipschitz functions. Zbl 1408.03031
Freer, Cameron; Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank
6
2014
Characterizing lowness for Demuth randomness. Zbl 1338.03080
Bienvenu, Laurent; Downey, Rod; Greenberg, Noam; Nies, André; Turetsky, Dan
6
2014
An analogy between cardinal characteristics and highness properties of oracles. Zbl 1432.03090
Brendle, Jörg; Brooke-Taylor, Andrew; Ng, Keng Meng; Nies, André
6
2015
Randomness notions and partial relativization. Zbl 1279.03065
Barmpalias, George; Miller, Joseph S.; Nies, André
6
2012
Lowness for computable machines. Zbl 1175.03025
Downey, Rod; Greenberg, Noam; Mihailović, Nenad; Nies, André
5
2008
A lower cone in the wtt degrees of non-integral effective dimension. Zbl 1158.03026
Nies, André; Reimann, Jan
5
2008
The undecidability of the \(\Pi_ 4\)-theory for the r.e. wtt and Turing degrees. Zbl 0846.03018
Lempp, Steffen; Nies, André
5
1995
Definability in the recursively enumerable degrees. Zbl 0874.03052
Nies, André; Shore, Richard A.; Slaman, Theodore A.
5
1996
Indifferent sets. Zbl 1165.03026
Figueira, Santiago; Miller, Joseph S.; Nies, André
5
2009
Finite automata presentable abelian groups. Zbl 1133.68050
Nies, André; Semukhin, Pavel
5
2007
Local compactness for computable Polish metric spaces is \(\varPi ^1_1\)-complete. Zbl 1461.03045
Nies, André; Solecki, Slawomir
5
2015
Metric Scott analysis. Zbl 1390.03039
Ben Yaacov, Itaï; Doucha, Michal; Nies, André; Tsankov, Todor
5
2017
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079
Miyabe, Kenshi; Nies, André; Zhang, Jing
5
2016
Borel structures: a brief survey. Zbl 1329.03073
Montalbán, Antonio; Nies, André
5
2013
Counting the changes of random \(\Delta_2^0\) sets. Zbl 1338.03081
Figueira, Santiago; Hirschfeldt, Denis R.; Miller, Joseph S.; Ng, Keng Meng; Nies, André
5
2015
Solovay functions and \(K\)-triviality. Zbl 1230.68117
Bienvenu, Laurent; Merkle, Wolfgang; Nies, André
5
2011
Computably enumerable sets below random sets. Zbl 1314.03040
Nies, André
5
2012
A universal separable diversity. Zbl 1402.54030
Bryant, David; Nies, André; Tupper, Paul
4
2017
Counting the changes of random \({\Delta}^0_2\) sets. Zbl 1286.03140
Figueira, Santiago; Hirschfeldt, Denis; Miller, Joseph S.; Ng, Keng Meng; Nies, André
4
2010
Non-cupping and randomness. Zbl 1106.03040
Nies, André
4
2007
Higher Kurtz randomness. Zbl 1223.03025
Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank; Yu, Liang
4
2010
Branching in the enumeration degrees of the \(\Sigma_2^0\) sets. Zbl 0924.03080
Nies, André; Sorbi, Andrea
4
1999
The \(\forall\exists\)-theory of \(\mathcal{R}(\leq,\vee,\wedge)\) is undecidable. Zbl 1054.03029
Miller, Russell G.; Nies, Andre O.; Shore, Richard A.
4
2004
\(K\)-triviality in computable metric spaces. Zbl 1271.03059
Melnikov, Alexander; Nies, André
4
2013
Program size complexity for possibly infinite computations. Zbl 1102.68036
Becher, Verónica; Figueira, Santiago; Nies, André; Picchi, Silvana
4
2005
Finitely generated groups and first-order logic. Zbl 1091.03014
Morozov, A.; Nies, A.
4
2005
Complexity of equivalence relations and preorders from computability theory. Zbl 1353.03043
Ianovski, Egor; Miller, Russell; Ng, Keng Meng; Nies, André
4
2014
Comparing quasi-finitely axiomatizable and prime groups. Zbl 1177.03041
Nies, Andre
3
2007
Superhighness. Zbl 1204.03041
Kjos-Hanssen, Bjørn; Nies, André
3
2009
Eliminating concepts. Zbl 1152.03040
Nies, André
3
2008
Universal recursively enumerable sets of strings. Zbl 1159.68011
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
3
2008
Interactions of computability and randomness. Zbl 1258.03053
Nies, André
3
2011
Interpreting true arithmetic in the theory of the r.e. truth table degrees. Zbl 0836.03023
Nies, André; Shore, Richard A.
3
1995
Atomless \(r\)-maximal sets. Zbl 0936.03039
Cholak, Peter A.; Nies, André
3
1999
Model theory of the computably enumerable many-one degrees. Zbl 0960.03036
Nies, Andre
3
2000
Definability in the c. e. degrees: Questions and results. Zbl 0962.03035
Nies, André
3
2000
Differences of computably enumerable sets. Zbl 0964.03043
Lempp, Steffen; Nies, André
3
2000
Randomness, computability, and density. Zbl 0976.03052
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André
3
2001
A uniformity of degree structures. Zbl 0883.03027
Nies, André
3
1997
Recursively enumerable equivalence relations modulo finite differences. Zbl 0829.03024
Nies, André
3
1994
Global properties of the lattice of \(\Pi^0_1\) classes. Zbl 1042.03031
Cenzer, Douglas; Nies, André
3
2004
Solovay functions and their applications in algorithmic randomness. Zbl 1335.03038
Bienvenu, Laurent; Downey, Rod; Nies, André; Merkle, Wolfgang
3
2015
Demuth’s path to randomness. Zbl 1348.03002
Kučera, Antonín; Nies, André; Porter, Christopher P.
3
2015
Equivalence relations that are \(\Sigma^0_3\) complete for computable reducibility (extended abstract). Zbl 1362.03032
Fokina, Ekaterina; Friedman, Sy; Nies, André
3
2012
The first order theories of the Medvedev and Muchnik lattices. Zbl 1233.03039
Lewis, Andrew; Nies, André; Sorbi, Andrea
2
2009
Superhighness and strong jump traceability. Zbl 1248.03064
Nies, André
2
2009
Universal recursively enumerable sets of strings. Zbl 1217.68115
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
2
2011
Undecidability results for low complexity time classes. Zbl 0956.68061
Downey, Rod; Nies, André
2
2000
Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees. Zbl 0970.03036
Nies, André
2
2001
On the filter of computably enumerable supersets of an r-maximal set. Zbl 1030.03029
Lempp, Steffen; Nies, André; Solomon, D. Reed
2
2001
Definability and undecidability in recursion theoretic semilattices. Zbl 0785.03026
Nies, André Otfrid
2
1992
Differentiability of polynomial time computable functions. Zbl 1359.03032
Nies, André
2
2014
A weakly 2-random set that is not generalized low. Zbl 1151.03343
Lewis, Andrew; Montalbán, Antonio; Nies, André
2
2007
Lowness properties of reals and hyper-immunity. Zbl 1264.03093
Bedregal, Benjamín René Callejas; Nies, André
2
2003
Feasible analysis, randomness, and base invariance. Zbl 1336.03047
Figueira, Santiago; Nies, André
2
2015
Randomness and Solovay degrees. Zbl 1460.03014
Miyabe, Kenshi; Nies, Andre; Stephan, Frank
1
2018
Metric Scott analysis. Zbl 1390.03039
Ben Yaacov, Itaï; Doucha, Michal; Nies, André; Tsankov, Todor
5
2017
A universal separable diversity. Zbl 1402.54030
Bryant, David; Nies, André; Tupper, Paul
4
2017
Describing finite groups by short first-order sentences. Zbl 1403.03059
Nies, André; Tent, Katrin
2
2017
Randomness and differentiability. Zbl 1402.03062
Brattka, Vasco; Miller, Joseph S.; Nies, André
16
2016
Coherent randomness tests and computing the \(K\)-trivial sets. Zbl 1375.03049
Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Nies, André; Turetsky, Dan
8
2016
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079
Miyabe, Kenshi; Nies, André; Zhang, Jing
5
2016
A unifying approach to the Gamma question. Zbl 1395.03019
Monin, Benoit; Nies, André
6
2015
An analogy between cardinal characteristics and highness properties of oracles. Zbl 1432.03090
Brendle, Jörg; Brooke-Taylor, Andrew; Ng, Keng Meng; Nies, André
6
2015
Local compactness for computable Polish metric spaces is \(\varPi ^1_1\)-complete. Zbl 1461.03045
Nies, André; Solecki, Slawomir
5
2015
Counting the changes of random \(\Delta_2^0\) sets. Zbl 1338.03081
Figueira, Santiago; Hirschfeldt, Denis R.; Miller, Joseph S.; Ng, Keng Meng; Nies, André
5
2015
Solovay functions and their applications in algorithmic randomness. Zbl 1335.03038
Bienvenu, Laurent; Downey, Rod; Nies, André; Merkle, Wolfgang
3
2015
Demuth’s path to randomness. Zbl 1348.03002
Kučera, Antonín; Nies, André; Porter, Christopher P.
3
2015
Feasible analysis, randomness, and base invariance. Zbl 1336.03047
Figueira, Santiago; Nies, André
2
2015
Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074
Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan
11
2014
Denjoy, Demuth and density. Zbl 1338.03088
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
8
2014
Algorithmic aspects of Lipschitz functions. Zbl 1408.03031
Freer, Cameron; Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank
6
2014
Characterizing lowness for Demuth randomness. Zbl 1338.03080
Bienvenu, Laurent; Downey, Rod; Greenberg, Noam; Nies, André; Turetsky, Dan
6
2014
Complexity of equivalence relations and preorders from computability theory. Zbl 1353.03043
Ianovski, Egor; Miller, Russell; Ng, Keng Meng; Nies, André
4
2014
Differentiability of polynomial time computable functions. Zbl 1359.03032
Nies, André
2
2014
The classification problem for compact computable metric spaces. Zbl 1433.03153
Melnikov, Alexander G.; Nies, André
6
2013
Borel structures: a brief survey. Zbl 1329.03073
Montalbán, Antonio; Nies, André
5
2013
\(K\)-triviality in computable metric spaces. Zbl 1271.03059
Melnikov, Alexander; Nies, André
4
2013
Calibrating the complexity of \(\Delta_2^0\) sets via their changes. Zbl 1364.03063
Nies, André
1
2013
Joining non-low c.e. sets with diagonally non-computable functions. Zbl 1327.03033
Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan
1
2013
Computability and randomness. Zbl 1237.03027
Nies, André
64
2012
Characterizing the strongly jump-traceable sets via randomness. Zbl 1257.03068
Greenberg, Noam; Hirschfeldt, Denis R.; Nies, André
9
2012
Randomness notions and partial relativization. Zbl 1279.03065
Barmpalias, George; Miller, Joseph S.; Nies, André
6
2012
Computably enumerable sets below random sets. Zbl 1314.03040
Nies, André
5
2012
Equivalence relations that are \(\Sigma^0_3\) complete for computable reducibility (extended abstract). Zbl 1362.03032
Fokina, Ekaterina; Friedman, Sy; Nies, André
3
2012
The Denjoy alternative for computable functions. Zbl 1254.03081
Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André
2
2012
Demuth’s path to randomness. Zbl 1353.03047
Kučera, Antonín; Nies, André
1
2012
Demuth randomness and computational complexity. Zbl 1223.03026
Kučera, Antonín; Nies, André
14
2011
Benign cost functions and lowness properties. Zbl 1221.03036
Greenberg, Noam; Nies, André
11
2011
Solovay functions and \(K\)-triviality. Zbl 1230.68117
Bienvenu, Laurent; Merkle, Wolfgang; Nies, André
5
2011
Interactions of computability and randomness. Zbl 1258.03053
Nies, André
3
2011
Universal recursively enumerable sets of strings. Zbl 1217.68115
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
2
2011
Studying randomness through computation. Zbl 1250.68135
Nies, André
2
2011
Upper bounds on ideals in the computably enumerable Turing degrees. Zbl 1227.03055
Barmpalias, George; Nies, André
1
2011
Counting the changes of random \({\Delta}^0_2\) sets. Zbl 1286.03140
Figueira, Santiago; Hirschfeldt, Denis; Miller, Joseph S.; Ng, Keng Meng; Nies, André
4
2010
Higher Kurtz randomness. Zbl 1223.03025
Kjos-Hanssen, Bjørn; Nies, André; Stephan, Frank; Yu, Liang
4
2010
Computability and randomness. Zbl 1169.03034
Nies, André
156
2009
Finite automata presentable Abelian groups. Zbl 1219.68116
Nies, André; Semukhin, Pavel
6
2009
Indifferent sets. Zbl 1165.03026
Figueira, Santiago; Miller, Joseph S.; Nies, André
5
2009
Superhighness. Zbl 1204.03041
Kjos-Hanssen, Bjørn; Nies, André
3
2009
The first order theories of the Medvedev and Muchnik lattices. Zbl 1233.03039
Lewis, Andrew; Nies, André; Sorbi, Andrea
2
2009
Superhighness and strong jump traceability. Zbl 1248.03064
Nies, André
2
2009
Lowness properties and approximations of the jump. Zbl 1137.03025
Figueira, Santiago; Nies, André; Stephan, Frank
15
2008
FA-presentable groups and rings. Zbl 1165.03017
Nies, André; Thomas, Richard M.
13
2008
Lowness of higher randomness notions. Zbl 1153.03020
Chong, C. T.; Nies, Andre; Yu, Liang
9
2008
Lowness for computable machines. Zbl 1175.03025
Downey, Rod; Greenberg, Noam; Mihailović, Nenad; Nies, André
5
2008
A lower cone in the wtt degrees of non-integral effective dimension. Zbl 1158.03026
Nies, André; Reimann, Jan
5
2008
Eliminating concepts. Zbl 1152.03040
Nies, André
3
2008
Universal recursively enumerable sets of strings. Zbl 1159.68011
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
3
2008
Using random sets as oracles. Zbl 1128.03036
Hirschfeldt, Denis R.; Nies, André; Stephan, Frank
35
2007
Describing groups. Zbl 1167.20017
Nies, André
26
2007
Automatic structures: richness and limitations. Zbl 1128.03028
Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank
24
2007
Randomness via effective descriptive set theory. Zbl 1118.03034
Hjorth, Greg; Nies, André
15
2007
Finite automata presentable abelian groups. Zbl 1133.68050
Nies, André; Semukhin, Pavel
5
2007
Non-cupping and randomness. Zbl 1106.03040
Nies, André
4
2007
Comparing quasi-finitely axiomatizable and prime groups. Zbl 1177.03041
Nies, Andre
3
2007
A weakly 2-random set that is not generalized low. Zbl 1151.03343
Lewis, Andrew; Montalbán, Antonio; Nies, André
2
2007
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A.
41
2006
Randomness and computability: open questions. Zbl 1169.03033
Miller, Joseph S.; Nies, André
39
2006
Lowness for the class of Schnorr random reals. Zbl 1095.68043
Kjos-Hanssen, Bjorn; Nies, André; Stephan, Frank
28
2006
Reals which compute little. Zbl 1107.03047
Nies, André
18
2006
Kolmogorov-Loveland randomness and stochasticity. Zbl 1097.03041
Merkle, Wolfgang; Miller, Joseph S.; Nies, André; Reimann, Jan; Stephan, Frank
18
2006
Lowness and \(\Pi^0_2\) nullsets. Zbl 1112.03040
Downey, Rod; Nies, Andre; Weber, Rebecca; Yu, Liang
14
2006
Lowness properties and randomness. Zbl 1141.03017
Nies, André
92
2005
Randomness, relativization and Turing degrees. Zbl 1090.03013
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A.
44
2005
Relativizing Chaitin’s halting probability. Zbl 1093.03025
Downey, Rod; Hirschfeldt, Denis R.; Miller, Joseph S.; Nies, André
25
2005
Program size complexity for possibly infinite computations. Zbl 1102.68036
Becher, Verónica; Figueira, Santiago; Nies, André; Picchi, Silvana
4
2005
Finitely generated groups and first-order logic. Zbl 1091.03014
Morozov, A.; Nies, A.
4
2005
The \(\forall\exists\)-theory of \(\mathcal{R}(\leq,\vee,\wedge)\) is undecidable. Zbl 1054.03029
Miller, Russell G.; Nies, Andre O.; Shore, Richard A.
4
2004
Global properties of the lattice of \(\Pi^0_1\) classes. Zbl 1042.03031
Cenzer, Douglas; Nies, André
3
2004
Trivial reals. Zbl 1044.03027
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André; Stephan, Frank
31
2003
Separating classes of groups by first-order sentences. Zbl 1059.20002
Nies, André
13
2003
Aspects of free groups. Zbl 1068.20027
Nies, André
7
2003
Parameter definability in the recursively enumerable degrees. Zbl 1025.03031
Nies, André
7
2003
Lowness properties of reals and hyper-immunity. Zbl 1264.03093
Bedregal, Benjamín René Callejas; Nies, André
2
2003
Randomness, computability, and density. Zbl 1052.68060
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André
19
2002
Trivial reals. Zbl 1261.03133
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André; Stephan, Frank
1
2002
Randomness, computability, and density. Zbl 0976.03052
Downey, Rod G.; Hirschfeldt, Denis R.; Nies, André
3
2001
Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees. Zbl 0970.03036
Nies, André
2
2001
On the filter of computably enumerable supersets of an r-maximal set. Zbl 1030.03029
Lempp, Steffen; Nies, André; Solomon, D. Reed
2
2001
Initial segments of the lattice of \(\Pi_1^0\) classes. Zbl 1003.03042
Cenzer, Douglas; Nies, Andre
1
2001
Effectively dense Boolean algebras and their applications. Zbl 0958.03023
Nies, André
6
2000
Model theory of the computably enumerable many-one degrees. Zbl 0960.03036
Nies, Andre
3
2000
Definability in the c. e. degrees: Questions and results. Zbl 0962.03035
Nies, André
3
2000
Differences of computably enumerable sets. Zbl 0964.03043
Lempp, Steffen; Nies, André
3
2000
Undecidability results for low complexity time classes. Zbl 0956.68061
Downey, Rod; Nies, André
2
2000
Structural properties and \(\Sigma_2^0\) enumeration degrees. Zbl 0945.03063
Nies, André; Sorbi, Andrea
1
2000
A new spectrum of recursive models. Zbl 1007.03036
Nies, André
6
1999
Branching in the enumeration degrees of the \(\Sigma_2^0\) sets. Zbl 0924.03080
Nies, André; Sorbi, Andrea
4
1999
Atomless \(r\)-maximal sets. Zbl 0936.03039
Cholak, Peter A.; Nies, André
3
1999
Interpretability and definability in the recursively enumerable degrees. Zbl 0904.03028
Nies, André; Shore, Richard A.; Slaman, Theodore A.
36
1998
The \(\Pi_{3}\)-theory of the computably enumerable Turing degrees is undecidable. Zbl 0904.03029
Lempp, Steffen; Nies, André; Slaman, Theodore A.
15
1998
Coding in the partial order of enumerable sets. Zbl 0890.03016
Harrington, Leo; Nies, André
12
1998
Computably enumerable sets and quasi-reducibility. Zbl 0930.03049
Downey, R.; LaForte, G.; Nies, A.
10
1998
Noninterpretability of infinite linear orders. Zbl 0890.03014
Hodges, Wilfrid; Nies, André
1
1998
...and 14 more Documents
all top 5

Cited by 375 Authors

59 Nies, André Otfrid
40 Downey, Rodney Graham
39 Stephan, Frank
32 Barmpalias, George
29 Greenberg, Noam
27 Miller, Joseph S.
27 Ng, KengMeng
22 Bienvenu, Laurent
18 Yu, Liang
16 Melnikov, Alexander G.
14 Kjos-Hanssen, Bjørn
14 Lempp, Steffen
13 Slaman, Theodore A.
12 Calude, Cristian S.
12 Franklin, Johanna N. Y.
12 Jain, Sanjay
12 Khoussainov, Bakhadyr M.
11 Cenzer, Douglas
11 Hirschfeldt, Denis Roman
11 Hölzl, Rupert
11 Miyabe, Kenshi
11 Shore, Richard A.
10 Cholak, Peter A.
10 Lewis, Andrew E. M.
10 Merkle, Wolfgang
10 Simpson, Stephen G.
10 Sorbi, Andrea
9 Andrews, Uri
8 Kalimullin, Iskander Shagitovich
8 Porter, Christopher P.
8 Soskova, Mariya Ivanova
7 Conidis, Chris J.
7 Day, Adam R.
7 Diamondstone, David E.
7 Lewis-Pye, Andrew E. M.
7 Monin, Benoît
6 Becher, Verónica
6 Cai, Mingzhong
6 Figueira, Santiago
6 Ganchev, Hristo A.
6 Harrington, Leo A.
6 Jockusch, Carl G. jun.
6 Kihara, Takayuki
6 Kučera, Antonín
6 Kudinov, Oleg Victorovich
6 Remmel, Jeffrey B.
6 Shen, Alexander
6 Tadaki, Kohtaro
6 Weber, Rebecca
5 Arslanov, Marat M.
5 Calvert, Wesley
5 Csima, Barbara F.
5 Harrison-Trainor, Matthew
5 Li, Angsheng
5 McNicholl, Timothy H.
5 Montalbán, Antonio
5 Rute, Jason
5 Selivanov, Viktor L’vovich
5 Semukhin, Pavel
5 Teutsch, Jason
5 Turetsky, Daniel D.
5 Wu, Guohua
5 Yang, Yue
4 Bazhenov, Nikolaĭ Alekseevich
4 Binns, Stephen
4 Brattka, Vasco
4 Brodhead, Paul
4 Chong, Chi Tat
4 Ding, Decheng
4 Grigorieff, Serge
4 Kuyper, Rutger
4 Reimann, Jan
4 Schlicht, Philipp
4 Shafer, Paul
4 Staiger, Ludwig
4 Terwijn, Sebastiaan A.
4 Yamaleev, Mars Mansurovich
3 Ambos-Spies, Klaus
3 Batyrshin, Ilnur I.
3 Buss, Sam
3 Cain, Alan J.
3 Faĭzrahmanov, Marat Khaidarovich
3 Fang, Nan
3 Harizanov, Valentina S.
3 Herbert, Ian
3 Higuchi, Kojiro
3 Kent, Thomas F.
3 Khan, Mushfeq
3 Kharlampovich, Olga G.
3 Knight, Julia F.
3 Korovina, Margarita Vladimirovna
3 Kräling, Thorsten
3 Kumabe, Masahiro
3 Kuske, Dietrich
3 Lerman, Manuel
3 Lutz, Jack H.
3 Lutz, Neil
3 Minnes, Mia
3 Morozov, Andreĭ Sergeevich
3 Mustafa, Manat
...and 275 more Authors
all top 5

Cited in 69 Serials

79 The Journal of Symbolic Logic
74 Annals of Pure and Applied Logic
38 Theoretical Computer Science
28 The Bulletin of Symbolic Logic
27 Theory of Computing Systems
25 Proceedings of the American Mathematical Society
24 Transactions of the American Mathematical Society
22 Archive for Mathematical Logic
17 Notre Dame Journal of Formal Logic
17 Information and Computation
17 Journal of Mathematical Logic
12 Advances in Mathematics
12 Journal of Computer and System Sciences
8 Israel Journal of Mathematics
8 MSCS. Mathematical Structures in Computer Science
7 Algebra and Logic
7 Journal of Algebra
7 Mathematical Logic Quarterly (MLQ)
6 Siberian Mathematical Journal
6 Journal of Logic and Analysis
6 Computability
5 Information Processing Letters
5 Russian Mathematics
5 Lobachevskii Journal of Mathematics
4 International Journal of Algebra and Computation
3 Journal of Mathematical Physics
3 Algebra Universalis
3 Journal of Mathematical Sciences (New York)
3 Journal of Group Theory
2 Journal of Complexity
2 Stochastic Processes and their Applications
1 Acta Informatica
1 Communications in Algebra
1 Journal of Statistical Physics
1 Duke Mathematical Journal
1 Fundamenta Mathematicae
1 Inventiones Mathematicae
1 Memoirs of the American Mathematical Society
1 Semigroup Forum
1 Synthese
1 Tohoku Mathematical Journal. Second Series
1 Topology and its Applications
1 Ergodic Theory and Dynamical Systems
1 Combinatorica
1 Stochastic Analysis and Applications
1 Journal of the American Mathematical Society
1 Sugaku Expositions
1 International Journal of Foundations of Computer Science
1 The Journal of Geometric Analysis
1 Games and Economic Behavior
1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1 Economic Theory
1 Journal of Applied Analysis
1 Doklady Mathematics
1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Natural Computing
1 Central European Journal of Mathematics
1 Journal of the Institute of Mathematics of Jussieu
1 Foundations of Physics
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Groups, Geometry, and Dynamics
1 Logical Methods in Computer Science
1 The Review of Symbolic Logic
1 Algorithms
1 Bulletin of Mathematical Sciences
1 Forum of Mathematics, Sigma
1 Analysis and Geometry in Metric Spaces

Citations by Year