论文信息 - Generalized Weak Presentations

Generalized Weak Presentations

Let K be a computable field. Let ℱ be a collection of recursive functions over K , possibly including field operations. We investigate the following question. Given an r.e. degree . is there an injective map j : K → ℕ such that j ( K ) is of degree a and all the functions in ℱ are translated by restrictions of total recursive functions.

Alexandra Shlapentokh

[1] Valentina S. Harizanov. Some Effects of Ash-Nerode and Other Decidability Conditions on Degree Spectra , 1991, Ann. Pure Appl. Log..

[2] Weak presentations of computable fields , 1995 .

[3] C. Chevalley,et al. Introduction to the theory of algebraic functions of one variable , 1951 .

[4] Alexandra Shlapentokh. Weak Presentations of Non-Finitely Generated Fields , 1998, Ann. Pure Appl. Log..

[5] Algebraic and Turing Separability of Rings , 1996 .

[6] The logic of pseudo-S-integers , 1997 .

[7] Alexandra Shlapentokh. Weak presentations of fields not extendible to recursive presentations , 1999 .

[8] A. Baker. Transcendental Number Theory , 1975 .

[9] Alexandra Shlapentokh. Diophantine Equivalence and Countable Rings , 1994, J. Symb. Log..

[10] M. Rabin. Computable algebra, general theory and theory of computable fields. , 1960 .

[11] Valentina S. Harizanov. Uncountable Degree Spectra , 1991, Ann. Pure Appl. Log..

[12] Jeffrey B. Remmel,et al. Quasi-Simple Relations in Copies of a Given Recursive Structure , 1997, Ann. Pure Appl. Log..

[13] Alexandra Shlapentokh. Rational Separability over a Global Field , 1996, Ann. Pure Appl. Log..

[14] Julia F. Knight,et al. Possible Degrees in Recursive Copies II , 1997, Ann. Pure Appl. Log..

[15] Valentina S. Harizanov. The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum , 1993, Ann. Pure Appl. Log..