Non-standard extensions of weak presentations
From MaRDI portal
Publication:1902093
DOI10.1006/jabr.1995.1269zbMath0847.12005OpenAlexW1974201705MaRDI QIDQ1902093
Publication date: 21 October 1996
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jabr.1995.1269
total recursive functionsTuring degreesrecursively enumerable degreesweak presentationrecursive field
Decidability and field theory (12L05) Algebraic field extensions (12F05) Decidability of theories and sets of sentences (03B25)
Related Items (4)
Rational separability of the integral closure ⋮ Rational separability over a global field ⋮ Weak presentations of non-finitely generated fields ⋮ Generalised weak presentations
This page was built for publication: Non-standard extensions of weak presentations