Hostname: page-component-8448b6f56d-tj2md Total loading time: 0 Render date: 2024-04-16T23:59:29.745Z Has data issue: false hasContentIssue false

Läuchli's algebraic closure of Q

Published online by Cambridge University Press:  24 October 2008

Wilfrid Hodges
Affiliation:
Bedford College, London

Extract

H. Läuchli (9) constructed, within a model of a weak form of set theory, an algebraic closure L of the field Q of rationals which had no real-closed subfield. Läuchli's construction is easily transferred to a model N of ZF (= Zermelo–Fraenkel set theory without the axiom of Choice), and it follows at once that neither of the two following statements is provable from ZF alone:

Every algebraic closure of Q has a real-closed subfield. (1)

There is, up to isomorphism, at most one algebraic closure of Q. (2)

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1976

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)Cassels, J. W. S. and Fröhlich, A. (eds.). Algebraic number theory (Academic Press: London, 1967).Google Scholar
(2)Hardy, G. H. and Wright, E. M.An introduction to the theory of numbers, 4th edn (Oxford University Press, 1960).Google Scholar
(3)Hodges, Wilfrid. On the effectivity of some field constructions. Proc. London Math. Soc. (to appear).Google Scholar
(4)Hodges, Wilfrid. Six impossible rings, J. Algebra 31 (1974), 218244.CrossRefGoogle Scholar
(5)Jarden, Moshe. Elementary statements over large algebraic fields. Trans. Amer. Math. Soc. 164 (1972), 6791.CrossRefGoogle Scholar
(6)Jech, T. and Sochor, A.Applications of the θ-model. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 14 (1966), 351355.Google Scholar
(7)Kuyk, Willem. Extensions de corps hilbertiens. J. Algebra 14 (1970), 112124.Google Scholar
(8)Lang, Serge. Algebra (Addison-Wesley; Reading, Mass., 1969).Google Scholar
(9)Läuchli, H.Auswahlaxiom in der Algebra. Comment. Math. Helv. 37 (1962), 118.CrossRefGoogle Scholar
(10)Neukirch, Jürgen. Klassenkörpertheorie (Bibliographisches Institut; Mannheim, 1969).Google Scholar
(11)Plotkin, Jacob Manuel. Generic embeddmgs. J. Symbolic Logic 34 (1969), 388394.Google Scholar
(12)Weiss, Edwin. Algebraic number theory (McGraw-Hill; New York, 1963).Google Scholar