Existentially closed model

Abstract: A linearly ordered structure is weakly o-minimal if all of its definable sets in one variable are the union of finitely many convex sets in the structure. Weakly o-minimal structures were introduced by Dickmann, and they arise in several contexts. We here prove several fundamental results about weakly o-minimal structures. Foremost among these, we show that every weakly o-minimal ordered field is real closed. We also develop a substantial theory of definable sets in weakly o-minimal structures, patterned, as much as possible, after that for o-minimal structures.

Abstract: A classical theorem of Steinitz [12, p. 125] states that the characteristic of an algebraically closed field, together with its absolute degree of transcendency, uniquely determine the field (up to isomorphism). It is easily seen that the word real-closed cannot be substituted for the words algebraically closed in this theorem. It is therefore natural to inquire what invariants other than the absolute transcendence degree are needed in order to characterize a real-closed field.' For non-denumerable fields, the question is equivalently stated as follows: what invariants in addition to the cardinal number are needed in order to characterize a real-closed field? Now, it is well-known that any two isomorphic realclosed fields are similarly ordered (i.e., as ordered sets). Here we establish the converse implication2 for a particular class of non-denumerable,3 non-archimedean, real-closed fields. Section 2 of our paper is devoted to the proof of this theorem (Theorem 2.1). The class of ordered fields to which our isomorphism theorem applies is quite restricted. (In fact, in order that it not be vacuous, we must assume either the continuum hypothesis, or some one of its generalizations to higher cardinals.4) Nevertheless, we are able to find an application to a class of fields that is not insignificant, namely, those that appear as residue class fields of maximal ideals in rings of continuous functions (on completely regular topological spaces). This discussion is the content of Section 3, and leads to the theorem that all nonarchimedean residue class fields (the so-called hyper-real fields) of power R, are isomorphic (Theorem 3.5). As a rather interesting corollary to this theorem, we find (using the continuum hypothesis) that all the non-real residue class fields of maximal ideals of a countable complete direct sum of real fields are isomorphic (Corollary 3.9). Section 4 continues the discussion of non-archimedean residue class fields. The development here leads to the construction of various such fields that arise from the same ring, but have different cardinal numbers (Theorems 4.4 ff. and 4.8 ff.). (A fortiori, not all such fields that arise from the same ring are isomorphic.) This section is almost entirely set-theoretic in character, and some of the results obtained here have some set-theoretic interest in themselves (Lemmas 4.1 and 4.7). (No use is made of the continuum hypothesis in this section.) Finally, in Section 5, we pose some unsolved problems.

Abstract: In this paper we use model-theoretic techniques to analyze the structure of algebraically closed groups. The notion of algebraically closed group first appeared in W. R. Scott's paper [24] in 1951. The intention must surely have been to provide for grouptheory an analogue of that central notion of field theory, the notion of algebraically closed field. A group G is said to be algebraically closed if every consistent finite system of equations, with parameters in G, is solvable in G. A system of equations is said to be consistent over G if it has a solution in a group extending G. A group G is said to be existentially closed if every consistent finite system of equations and inequations, with parameters in G, is solvable in G.

Abstract: Basic model theory.- Transfer theorems in algebra.- The ax-kochen-ershov transfer principle: (Diophantine problems over local fields).- Existentially complete structures.- Existentially complete division rings.- Existentially complete modules.- Complete theories of abelian groups.- ?1-categorical fields.