Search results

Nies A. ? Ideals in recursively enumerable degrees ? ? article Вернуться к поиску

Nies A. [2003] Parameter definability in the r.e. degrees J. Math. Logic, 3, № 1, 37-65 ? article Вернуться к поиску

Nies A. [2005] Lowness properties and randomness Adv. in Math., 197, № 1, 274-305 08.05.04 article Вернуться к поиску

Nies A. [2006] Computability and randomness ? ? article Вернуться к поиску

Nies A. [1998] Coding method in Computability Theory and Complexity Theory Habilitationsschriff, Univ. Heidelberg ? G book , Вернуться к поиску

Nies A. [2007] Non-cupping and randomness Proc. Amer. Math. Soc., 135, № 3, 837--844 ? article Вернуться к поиску

Nies A. [1994] Recursively enumerable equivalence relations modulo finite difference Math. Logik Quarterly, 40, 490-518 ? article Вернуться к поиску

Nies A. [2000] The model theory of the computably enumerable many­one degrees , 8, № 5 ? article Вернуться к поиску

Nies A. [2000] Definability in the c.e. degrees:questions and results Contemporary Math., 257, 207-213 01.ВН12.62 article Вернуться к поиску

Nies A. [1996] Undecidable fragments of elementary theories Algebra Universalis., 35 , № 1, 8-33 ? O article Вернуться к поиску

Nies A., Sorbi A. [1999] Branching in the Σ 2 enumeration degrees Israel J.  Math., 110, № 1, 29-59 ? O article Вернуться к поиску

Hodges W., Nies A. [1998] Noninterpretability of infinite linear orders Logic Coll’95, Springer-Verlag, 73-78 ? O article Вернуться к поиску

Nies A., Stephan F., Terwijn S. [2005] Randomness, relativization and Turing degrees J. Symbolic Logic, 70, № 2, 515-535 ? article Вернуться к поиску

Miller J. S. Nies A. [2006] Randomness and computability: open questions Bull. Symbolic Logic, 12, № 3, 390-410 ? article Вернуться к поиску

Calude C., Nies A. [1997] Chaitin Omega numbers and strong reducibilities J. Universal Comp. Sci., 3, 1162-1166. ? article Вернуться к поиску

Lempp S., Nies A. [2000] Differences of computably enumerable sets Math. Logic Quarterly, 46, № 4, 555-561 ? article Вернуться к поиску

Cholak P., Nies A. [1999] Atomless r -maximal sets Israel J. Math., 113, 305-322 ? OS article Вернуться к поиску

Nies A., Shore R.A., Slaman T.A. [1996] Definability in the recursively enumerable Turing-degrees Bull. Symbolic Logic, 2, № 4, 392-404 ? article Вернуться к поиску

Hirschfeldt D. R., Nies A., Stephan F. [2007] Using random sets as oracles J. London Math. Soc., 7, № 3, 610-622 ? article Вернуться к поиску

Downey R. G., Hirschfeldt D. R, , Miller J. S., Nies A. [2005] Relativizing Chaitin’s halting probability J. Math. Logic, 5, № 2, 167-192 ? article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Nies A. , Terwijn S. [2006] Calibrating randomness Bull. Symbolic Logic, 12, № 3, 411-491 ? article Вернуться к поиску

Nies A. [1993] Interpreting true arithmetic in degree structures Lect. Notes in Comp. Sci., 713, 255-263, Springer -Verlag ? O article Вернуться к поиску

Nies A., Sorbi A. [2000] Structural properties and Σ 2 0 enumeration degrees J. Symbolic Logic, 65, №.1, 285-292 05.08.88 O article Вернуться к поиску

Downey R. G., Nies A. [2000] Undecidability results for low complexity time classes J. Comp. and Syst. Sci., 60, № 2, 465-479 ? article Вернуться к поиску

Downey R. G., Nies A., Weber R., Yu Liang [2006] Lowness and Π 2 0 nullsets, J. Symbolic Logic, 71, № 3, 1044-1052 ? article Вернуться к поиску

Downey R. G., LaForte G., Nies A. [1998] Computability enumerable sets and quasi-reducibility Ann. Pure Appl. Logic, 95, № 1, 1-35 ? article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Nies A. [2002] Randomness, computability and density SIAM J. Comp., 31, № 4, 1169-1183 ВН03.04.114 article Вернуться к поиску

Hjorth G., Nies A. [2007] Randomness via effective descriptive set theory J. London Math. Soc., 75, № 2, 495-508 09.03.141 article Вернуться к поиску

Nies A. [2000] Effectively dense Boolean algebras and their applications Trans. Amer. Math. Soc., 352, № 11, 4989-5012 01.06.199 O article Вернуться к поиску

Nies A. [1996] Relativizations of structures arising from recursion theory London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 219-232 ? O article Вернуться к поиску

Nies A. [1997] On a uniformity in degree structures Complexity, Logic and Recursion Theory, Lecture Notes Pure and Applied Mathematics, 261-276 ? O article Вернуться к поиску

Cenzer D., Nies A. [2001] Initial segments of the lattice of Π 1 0 classes J. Symbolic Logic, 66, № 4, 1749-1765 05.08.99 article Вернуться к поиску

Downey R. G., Nies A. [1997] Undecidability results for low complexity degree structure Proc. 12 Ann. Conf. on Complexity Theory, 128-132 ? O article Вернуться к поиску

Chong C.T., Nies A., Yu Liang [2008] Higher randomness notions and their lowness properties Israel J. Math., 166, № 1,39-60 ? article Вернуться к поиску

Ambos-Spies K., Nies A. [1992] Cappable recursively enumerable degrees and Post's program Arch. Math. Logik Grundl., 32, № 1, 51-56 94.01.41 O article Вернуться к поиску

Figueira S., Nies A., Stephan F. [2008] Lowness properties and approximations of the jump Ann. Pure Appl. Logic, 152, № 1-3, 51-66 ? article Вернуться к поиску

Downey R. G., Greenberg N., Mihailovich N. J., Nies A. [2005] Lowness for computable machines Proc. Comp. Prospects of Infinity, World Scientific, Singapore, ? article Вернуться к поиску

Nies A. [2002] Global properties of degree structures Proc. XI Inter. Congress Logic, Methodology, Philosophy Sci., (Cracow, 1999), Kluwer Acad. Publishers, v.1, 65-80 ? article Вернуться к поиску

Nies A. [2001] Interpreting the natural numbers in the computably enumerable weak truth table degrees Ann. Pure Appl. Logic, 107, № 1-3, 35-48 ? O article Вернуться к поиску

Cenzer D., Nies A. [2004] Global properties of the lattice of Π 1 0 - classes Proc. Amer. Math. Soc., 132, № 1, 239-249 08.01.203 article Вернуться к поиску

Nies A. [1997] Intervals of the lattice of computably enumerable sets and effective Boolean algebras Bull. London Math. Soc., 29, № 6, 683-692 01.11.76 O article Вернуться к поиску

Lempp S., Nies A. [1995] The unsolvability of the Π 4 -theory for the r. e. wtt - and Turing degrees J. Symbolic Logic, 60, № 4, 1118-1136 01.10.27 O article Вернуться к поиску

Harrington L. A., Nies A. [1998] Coding in the partial order lattice of enumerable sets Adv. in Math., 133, № 1-3, 133-162 01.11.74 OS article Вернуться к поиску

Nies A. [2008] Eliminating concepts Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 225-248 ? article Вернуться к поиску

Nies A., Shore R.A. [1995] Interpreting true arithmetic in the theory of the r. e. truth table degrees Ann. Pure Appl. Logic, 75, № 3, 269-311 96.ВН4.16 O article Вернуться к поиску

Ambos-Spies K., Nies A. [1992] The theory of the polynomial many-one degrees of recursive sets is undecidable, Lect. Notes in Comp. Sci., 577, 209-210, Springer-Verlag ? O article Вернуться к поиску

Miller R. G., Nies A, Shore R. A. [2004] Undecidability of the ∀∃-theory of R ( ≤ , ∨ , ∧ ) Trans. Amer. Math. Soc., 356, № 8, 3025-3067 08.01.204 article Вернуться к поиску

Nies A., Shore R.A., Slaman T.A. [1998] Interpretability and definability in the recursively enumerable degrees Proc. London Math. Soc., 77, № 2, 241-291 01.11.65 OS article Вернуться к поиску

Ambos-Spies K., Nies A., Shore R.A. [1992] The theory of the recursively enumerable weak truth-table degrees is undecidable J. Symbolic Logic, 57, № 3, 864-874 93.04.51 O article Вернуться к поиску

Lempp S., Nies A., Slaman T.A. [1998] The Π 3 -theory of the c. e.Turing degrees is undecidable Trans. Amer. Math. Soc., 350, № 7, 2719-2736 01.11.66 OS article Вернуться к поиску