Algebraic and Turing separability of rings (Q1814984): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:47, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic and Turing separability of rings |
scientific article |
Statements
Algebraic and Turing separability of rings (English)
0 references
24 April 1997
0 references
A weak presentation of a countable field/ring \(F\) is an injective homomorphism from \(F\) into a field/ring whose universe is \(\mathbb{N}\) such that all the field/ring operations are translated by total recursive functions. Given two recursive integral domains \(R_1\) and \(R_2\) with quotient field \(F_1\) and \(F_2\) respectively, in this paper the author investigates under what circumstances there exists a weak presentation of the field \(F_1F_2\) such that the images of \(R_1\) and \(R_2\) belong to two different recursively enumerable (r.e.) Turing degrees. Finally the author show that \(\mathbb{Q}\) has an r.e. weak presentation as a ring which is not a weak presentation of \(\mathbb{Q}\) as a field.
0 references
Turing separability of rings
0 references
weak presentation of field rings
0 references
recursively enumerable Turing degrees
0 references
total recursive functions
0 references