Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-23T16:15:19.841Z Has data issue: false hasContentIssue false
  • English
  • Français

Some theories associated with algebraically closed fields

Published online by Cambridge University Press:  12 March 2014

Chris Ash  and
John Rosenthal
Chris Ash
Affiliation:
Monash University, Clayton, Victoria 3168, Australia
John Rosenthal
Affiliation:
Ithaca College, Ithaca, New York 14850
Get access Rights & Permissions [Opens in a new window]

Extract

We consider the effect on decidability of adding, to the decidable theory of algebraically closed fields of characteristic zero, relation symbols for algebraic independence or function symbols for differentiation. Our results show that the corresponding theories are usually undeeidable.

Let k and K be algebraically closed fields of characteristic zero. Let K be an extension of k of transcendence degree n over k. Since k has characteristic 0, we may assume that the rational field, Q, is a subfield of k.

Let Indn be the n-ary relation on K which holds for exactly those n-tuples from K which are algebraically independent over k.

Let x1, …, xn be a transcendence base for K over k. For i = 1, 2, …, n, let Di: K → K be the partial differentiation function with respect to xi and this base.

Let KnInd = (K, +, ·, Indn), n ≤ 1 and let KnDiff = (K, +, ·, D1, …, Dn), n ≤ 1 where K has transcendence degree n over k.

We show that the theories of these structures are independent of k when k has infinite transcendence degree over Q, that KnDiff has undeeidable theory for n ≤ 1 and that KnInd has undeeidable theory for n ≤ 2. The theory of K1Ind is decidable.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 45 , Issue 2 , June 1980 , pp. 359 - 362
Copyright
Copyright © Association for Symbolic Logic 1980

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Barwise, J., Back and forth through infinitary logic, Studies in model theory, Mathematical Association of America, Washington, DC, 1973, pp. 5–34.Google Scholar
[2]Hodge, W.V.D. and Pedoe, D., Methods of algebraic geometry, vol. I, Cambridge University Press, Macmillan, New York, 1947.Google Scholar
[3]Robinson, J., Definability and decision problems in arithmetic, this Journal, vol. 14(1949), pp. 98–114.Google Scholar