Hostname: page-component-cd9895bd7-gvvz8 Total loading time: 0 Render date: 2024-12-24T17:46:32.111Z Has data issue: false hasContentIssue false

On the notion of algebraic closedness for noncommutative groups and fields

Published online by Cambridge University Press:  12 March 2014

Abraham Robinson*
Affiliation:
Yale University, New Haven, Connecticut 06520

Extract

The notion of algebraic closedness plays an important part in the theory of commutative fields. The corresponding notion in the theory of ordered fields is (not only intuitively but in a sense which can be made precise in a metamathematical framework, compare [4]) that of a real closed ordered field. Several suggestions have been made (see [2] and [8]) for the formulation of corresponding concepts in the theory of groups and in the theory of skew fields (division rings, noncommutative fields). Here we present a concept of this kind, which preserves the principal metamathematical properties of algebraically closed commutative fields and which applies to a wide class of first order theories K, including the theories of commutative and of skew fields and the theories of commutative and of general groups.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1972

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

[1]Barwise, J. and Robinson, A., Completing theories by forcing, to be published in the Annals of Mathematical Logic vol. 2 (1970), pp. 119142.CrossRefGoogle Scholar
[2]Cohn, P. M., Universal algebra, Harper and Row, New York, 1965.Google Scholar
[3]Eklof, P. and Sabbagh, G., Model-completions and modules, to be published in the Annals of Mathematical Logic vol. 2 (1970), pp. 251296.CrossRefGoogle Scholar
[4]Robinson, A., Introduction to Model theory, North-Holland, Amsterdam, 1963.Google Scholar
[5]Robinson, A., Forcing in model theory, Proceedings of the Colloquium on Model Theory, Rome, 11, 1969; Symposia Mathematica, vol. 5 (1970), pp. 69–82.Google Scholar
[6]Robinson, A., Infinite forcing in model theory, to be published in the Proceedings of the second Scandinavian Symposium in Logic, Oslo, 06, 1970.CrossRefGoogle Scholar
[7]Robinson, A., Forcing in model theory, to be published in the Proceedings of the international Congress of Mathematics, Nice, 09 1970.Google Scholar
[8]Scott, W. R., Algebraically closed groups, Proceedings of the American Mathematical Society, vol. 2 (1951), pp. 118121.CrossRefGoogle Scholar