On countable locally described structures

Berthold J. Maier
1987 Annals of Pure and Applied Logic  
We consider classes of locally X-structures of the form LX = (G I Mal .... , an • G 3A •X such that al .... , an •A ~< G}, where X is a countable set of isomorphism types of finitely generated structures. In LX we study (1) closed structures also known as basically saturated structures which are algebraic analogues of existentially closed structures and (2) saturated structures which are algebraic analogues of existentially universal structures. We do not suppose that LX have the amalgamation
more » ... operty as in J6nsson type model theory nor that LX be first-order axiomatizable as in classical model theory. The main theorems of the general theory give characterizations for (1) the uniqueness, up to isomorphism, of the countable closed structure and (2) the existence of a countable saturated structure. Our criterions are given in terms of local amalgamation properties of X. New among the examples are the results that there exists a unique countable closed structure in the classes of locally finitely presented groups, torsion-free locally nilpotent groups, and torsion-free nilpotent groups of class c (c >t 2).
doi:10.1016/0168-0072(87)90064-9 fatcat:o44ffwhcljfldbznh72ktsni2y