Omitting quantifier-free types in generic structures
- 1 September 1972
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 37 (3) , 512-520
- https://doi.org/10.2307/2272737
Abstract
The central result of this paper was proved in order to settle a problem arising from B. H. Neumann's paper [10].In [10] Neumann proved that if a finitely generated group H is recursively absolutely presentable then H is embeddable in all nontrivial algebraically-closed groups. Harry Simmons [14] clarified this by showing that a finitely generated group H is recursively absolutely presentable if and only if H can be recursively presented with solvable word-problem. Therefore, if a finitely generated group H can be recursively presented with solvable word-problem then H is embeddable in all nontrivial algebraically-closed groups.The problem arises of characterizing those finitely generated groups which are embeddable in all nontrivial algebraically-closed groups. In this paper we prove, by a forcing argument, that if a finitely generated group H is embeddable in all non-trivial algebraically-closed groups then H can be recursively presented with solvable word-problem. Thus Neumann's result is sharp.Our results are obtained by the method of forcing in model-theory, as developed in [1], [12]. Our method of proof has nothing to do with group-theory. We prove general results, Theorems 1 and 2 below, about constructing generic structures without certain isomorphism-types of finitely generated substructures. The formulation of these results requires the notion of Turing degree. As an application of the central result we prove Theorem 3 which gives information about the number of countable K-generic structures.We gratefully acknowledge many helpful conversations with Harry Simmons.Keywords
This publication has 5 references indexed in Scilit:
- The Word Problem for Absolute PresentationsJournal of the London Mathematical Society, 1973
- Model-completions and modulesAnnals of Mathematical Logic, 1971
- Completing theories by forcingAnnals of Mathematical Logic, 1970
- Categoricity in powerTransactions of the American Mathematical Society, 1965
- A Note on Algebraically Closed GroupsJournal of the London Mathematical Society, 1952