Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-23T06:33:03.778Z Has data issue: false hasContentIssue false

Schlanke Körper (Slim fields)

Published online by Cambridge University Press:  12 March 2014

Markus Junker
Affiliation:
Mathematisches Institut, Eckerstrasse 1, 79104 Freiburg, Germany. E-mail: [email protected]
Jochen Koenigsmann
Affiliation:
Mathematical Institute, 24-29 St Giles', Oxford Ox1 3Lb, UK. E-mail: [email protected]

Abstract

We examine fields in which model theoretic algebraic closure coincides with relative field theoretic algebraic closure. These are perfect fields with nice model theoretic behaviour. For example they are exactly the fields in which algebraic independence is an abstract independence relation in the sense of Kim and Pillay. Classes of examples are perfect PAC fields, model complete large fields and henselian valued fields of characteristic 0.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2010

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]Adler, Hans, Explanation of independence, Ph.D. thesis, Albert–Ludwigs–Universität Freiburg, 2005, http://arxiv.org/abs/math.L0/0511616.Google Scholar
[2]Ax, James, The elementary theory of finite fields, Annals of Mathematics, vol. 88 (1968), pp. 239271.CrossRefGoogle Scholar
[3]Chatzidakis, Zoe, van den Dries, Lou, and Macintyre, Angus, Definable sets over finite fields, Journal für die Reine und Angewandte Mathematik, vol. 427 (1992), pp. 107135.Google Scholar
[4]van den Dries, Lou, Elimination theory for the ring of algebraic integers, Journal für die Reine und Angewandte Mathematik, vol. 388 (1988), pp. 189205.Google Scholar
[5]Engler, Antonio Jose and Prestel, Alexander, Valued Fields, Springer, 2005.Google Scholar
[6]Fehm, Arno, Subfields of ample fields I. Rational maps and definability, 2008, preprint available at arXiv:0811.2895.Google Scholar
[7]Harnik, Victor and Harrington, Leo. Fundamentals of forking, Annals of Pure and Applied Logic, vol. 26 (1984), pp. 245286.CrossRefGoogle Scholar
[8]Jarden, Moshe and Wheeler, William H., Model-complete theories of e-free Ax fields, this Journal, vol. 48 (1983), no. 4, pp. 11251129.Google Scholar
[9]Junker, Markus, A note on equational theories, this Journal, vol. 65 (2000), no. 4, pp. 17051712.Google Scholar
[10]Junker, Markus and Kraus, Ingo, Theories with equational forking, this Journal, vol. 67 (2002), no. 1, pp. 326340.Google Scholar
[11]Kim, Byunghan and Pillay, Anand, Simple theories, Annals of Pure and Applied Logic, vol. 88 (1997), no. 2-3, pp. 149164.CrossRefGoogle Scholar
[12]Koenigsmann, Jochen, Defining transcendentals in function fields, this Journal, vol. 67 (2002). no. 3, pp. 947956.Google Scholar
[13]Onshuus, Alf, Properties and consequences of thorn-independence, this Journal, vol. 71 (2006), no. 1, pp. 121.Google Scholar
[14]Pas, Johan, Uniform p-adic cell decomposition and local zeta functions, Journal für die Reine und Angewandte Mathematik, vol. 399 (1989), pp. 137172.Google Scholar
[15]Pop, Florian. Embedding problems over large fields, Annals of Mathematics, vol. 144 (1996). no. 1, pp. 134.CrossRefGoogle Scholar
[16]Prestel, Alexander and Ziegler, Martin, Model theoretic methods in the theory of topological fields, Journal für die Reine und Angewandte Mathematik, vol. 299/300 (1978), pp. 318431.Google Scholar
[17]Robinson, Julia, The undecidability of algebraic rings and fields, Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 950957.CrossRefGoogle Scholar
[18]Robinson, Julia, The decision problem for fields, Proceedings of the International Symposium in Theory of Models (Berkeley), North-Holland (Amsterdam), 1963, pp. 299311.Google Scholar
[19]Wheeler, William H., Model complete theories of pscudo-algebraically closed fields, Annals of Mathematical Logic, vol. 17 (1979), no. 3, pp. 205226.CrossRefGoogle Scholar