6 research outputs found
Degree spectra for transcendence in fields
We show that for both the unary relation of transcendence and the finitary
relation of algebraic independence on a field, the degree spectra of these
relations may consist of any single computably enumerable Turing degree, or of
those c.e. degrees above an arbitrary fixed degree. In other
cases, these spectra may be characterized by the ability to enumerate an
arbitrary set. This is the first proof that a computable field can
fail to have a computable copy with a computable transcendence basis
ΠΠΠΠΠ ΠΠ’ΠΠΠ§ΠΠ‘ΠΠΠ― ΠΠΠΠΠΠΠ‘ΠΠΠΠ‘Π’Π¬ ΠΠ‘Π’ΠΠ‘Π’ΠΠΠΠΠ«Π₯ ΠΠ’ΠΠΠ¨ΠΠΠΠ ΠΠ ΠΠ«Π§ΠΠ‘ΠΠΠΠ«Π₯ ΠΠΠΠΠΠΠ«Π₯ ΠΠΠ Π―ΠΠΠΠ₯ // Π£ΡΠ΅Π½ΡΠ΅ Π·Π°ΠΏΠΈΡΠΊΠΈ ΠΠ€Π£. Π€ΠΈΠ·ΠΈΠΊΠΎ-ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ Π½Π°ΡΠΊΠΈ 2013 ΡΠΎΠΌ155 N3
Π Π°ΡΡΠΌΠΎΡΡΠ΅Π½Ρ Π²ΠΎΠΏΡΠΎΡΡ Π°Π»Π³ΠΎΡΠΈΡΠΌΠΈΡΠ΅ΡΠΊΠΎΠΉ Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡΠΈ ΡΠ°Π·Π»ΠΈΡΠ½ΡΡ
ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠΉ Π½Π° Π»ΠΈΠ½Π΅ΠΉΠ½ΡΡ
ΠΏΠΎΡΡΠ΄ΠΊΠ°Ρ
. ΠΠΎΠΊΠ°Π·Π°Π½ΠΎ, ΡΡΠΎ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ ΡΠΎΡΠ΅Π΄ΡΡΠ²Π°, Π±Π»ΠΎΠΊΠ°, ΠΏΠ»ΠΎΡΠ½ΠΎΡΡΠΈ, ΠΏΡΠ΅Π΄Π΅Π»ΡΠ½ΠΎΡΡΠΈ ΡΠΏΡΠ°Π²Π° ΠΈ ΠΏΡΠ΅Π΄Π΅Π»ΡΠ½ΠΎΡΡΠΈ ΡΠ»Π΅Π²Π° ΡΠ²Π»ΡΡΡΡΡ Π°Π»Π³ΠΎΡΠΈΡΠΌΠΈΡΠ΅ΡΠΊΠΈ Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΠΌΠΈ. ΠΠ²Π΅Π΄Π΅Π½Ρ Π½ΠΎΠ²ΡΠ΅ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌΡΠ΅ Π² ΡΠΈΠ³Π½Π°ΡΡΡΠ΅ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠ³ΠΎ ΠΏΠΎΡΡΠ΄ΠΊΠ°, ΡΠ²Π»ΡΡΡΠΈΠ΅ΡΡ Π°Π»Π³ΠΎΡΠΈΡΠΌΠΈΡΠ΅ΡΠΊΠΈ Π·Π°Π²ΠΈΡΠΈΠΌΡΠΌΠΈ, ΠΈ ΠΈΠ·ΡΡΠ΅Π½Ρ ΠΈΡ
ΡΠ²ΠΎΠΉΡΡΠ²Π°
On the complexity of the successivity relation in computable linear orderings
In this paper, we solve a long-standing open question (see, e.g., Downey [6, Β§7] and Downey and Moses [11]), about the spectrum of the successivity relation on a computable linear ordering. We show that if a computable linear ordering L has infinitely many successivities, then the spectrum of the successivity relation is closed upwards in the computably enumerable Turing degrees. To do this, we use a new method of constructing β 0 3-isomorphisms, which has already found other applications such as Downey, Kastermans and Lempp [9] and is of independent interest. It would seem to promise many further applications