×

Coding complete theories in Galois groups. (English) Zbl 1146.03019

For a topological space \(X\) we denote by \(\mathcal{C}(X)\) the set of closed, non-empty subsets of \(X.\) The Vietoris space of \(X,\) denoted \(\mathcal{V}(X)\), is the topology on \(\mathcal{C}(X)\) with basic open sets \(\langle U_1,\dots,U_{n}\rangle:= \{C\in \mathcal{C}(X):C\subseteq \bigcup U_{i},i=1,\dots,k\) and \( C\cap U_{i}\neq \emptyset \) for \(i=1,\dots,k\}\) for each finite collection \( U_{1},\dots,U_{n}\) of open sets of \(X.\) In this paper the author give a new characterization of the spaces of complete theories of pseudo-finite fields and of algebraically closed fields with a generic automorphism in terms of the Vietoris topology on absolute Galois groups of prime fields.

MSC:

03C60 Model-theoretic algebra
12L12 Model theory of fields
PDF BibTeX XML Cite
Full Text: DOI Link

References:

[1] DOI: 10.1090/S0002-9947-99-02498-8 · Zbl 0922.03054
[2] Journal of the American Mathematical Society 14 pp 429– (2000)
[3] DOI: 10.2307/1970573 · Zbl 0195.05701
[4] DOI: 10.2307/1970438 · Zbl 0239.10032
[5] Profinite groups (1998)
[6] DOI: 10.1007/BF01696886 · JFM 48.0205.02
[7] Existentially closed structures 37 pp 293– (1972)
[8] Cohomology of number fields 323 (2000)
[9] DOI: 10.1090/S0002-9947-1951-0042109-4
[10] DOI: 10.1016/S0168-0072(97)00020-1 · Zbl 0891.03015
[11] Journal für die reine und angewandte Mathematik 465 pp 165– (1995)
[12] DOI: 10.1090/S0002-9947-1976-0422281-1
[13] Stone spaces (1982) · Zbl 0499.54001
[14] General topology (1955) · Zbl 0066.16604
[15] DOI: 10.1090/S0002-9947-1955-0075239-5
[16] Field arithmetic 11 (1986)
[17] Algebraic number theory (1967)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.