Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000947982> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2000947982 endingPage "520" @default.
- W2000947982 startingPage "512" @default.
- W2000947982 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." @default.
- W2000947982 created "2016-06-24" @default.
- W2000947982 creator A5046795804 @default.
- W2000947982 date "1972-09-01" @default.
- W2000947982 modified "2023-10-18" @default.
- W2000947982 title "Omitting quantifier-free types in generic structures " @default.
- W2000947982 cites W2008907564 @default.
- W2000947982 cites W2029031961 @default.
- W2000947982 cites W2078868180 @default.
- W2000947982 cites W2134675812 @default.
- W2000947982 doi "https://doi.org/10.2307/2272737" @default.
- W2000947982 hasPublicationYear "1972" @default.
- W2000947982 type Work @default.
- W2000947982 sameAs 2000947982 @default.
- W2000947982 citedByCount "34" @default.
- W2000947982 countsByYear W20009479822016 @default.
- W2000947982 countsByYear W20009479822017 @default.
- W2000947982 countsByYear W20009479822018 @default.
- W2000947982 countsByYear W20009479822021 @default.
- W2000947982 crossrefType "journal-article" @default.
- W2000947982 hasAuthorship W2000947982A5046795804 @default.
- W2000947982 hasConcept C110729354 @default.
- W2000947982 hasConcept C114614502 @default.
- W2000947982 hasConcept C115624301 @default.
- W2000947982 hasConcept C118615104 @default.
- W2000947982 hasConcept C153269930 @default.
- W2000947982 hasConcept C178790620 @default.
- W2000947982 hasConcept C185592680 @default.
- W2000947982 hasConcept C202444582 @default.
- W2000947982 hasConcept C203436722 @default.
- W2000947982 hasConcept C203701370 @default.
- W2000947982 hasConcept C2524010 @default.
- W2000947982 hasConcept C2781311116 @default.
- W2000947982 hasConcept C32278780 @default.
- W2000947982 hasConcept C33923547 @default.
- W2000947982 hasConcept C77021192 @default.
- W2000947982 hasConcept C8010536 @default.
- W2000947982 hasConcept C80469333 @default.
- W2000947982 hasConcept C90805587 @default.
- W2000947982 hasConcept C90988201 @default.
- W2000947982 hasConcept C94375191 @default.
- W2000947982 hasConceptScore W2000947982C110729354 @default.
- W2000947982 hasConceptScore W2000947982C114614502 @default.
- W2000947982 hasConceptScore W2000947982C115624301 @default.
- W2000947982 hasConceptScore W2000947982C118615104 @default.
- W2000947982 hasConceptScore W2000947982C153269930 @default.
- W2000947982 hasConceptScore W2000947982C178790620 @default.
- W2000947982 hasConceptScore W2000947982C185592680 @default.
- W2000947982 hasConceptScore W2000947982C202444582 @default.
- W2000947982 hasConceptScore W2000947982C203436722 @default.
- W2000947982 hasConceptScore W2000947982C203701370 @default.
- W2000947982 hasConceptScore W2000947982C2524010 @default.
- W2000947982 hasConceptScore W2000947982C2781311116 @default.
- W2000947982 hasConceptScore W2000947982C32278780 @default.
- W2000947982 hasConceptScore W2000947982C33923547 @default.
- W2000947982 hasConceptScore W2000947982C77021192 @default.
- W2000947982 hasConceptScore W2000947982C8010536 @default.
- W2000947982 hasConceptScore W2000947982C80469333 @default.
- W2000947982 hasConceptScore W2000947982C90805587 @default.
- W2000947982 hasConceptScore W2000947982C90988201 @default.
- W2000947982 hasConceptScore W2000947982C94375191 @default.
- W2000947982 hasIssue "3" @default.
- W2000947982 hasLocation W20009479821 @default.
- W2000947982 hasOpenAccess W2000947982 @default.
- W2000947982 hasPrimaryLocation W20009479821 @default.
- W2000947982 hasRelatedWork W1916943071 @default.
- W2000947982 hasRelatedWork W1992709605 @default.
- W2000947982 hasRelatedWork W1996580892 @default.
- W2000947982 hasRelatedWork W2000947982 @default.
- W2000947982 hasRelatedWork W2005317653 @default.
- W2000947982 hasRelatedWork W2043152523 @default.
- W2000947982 hasRelatedWork W2125305054 @default.
- W2000947982 hasRelatedWork W2167154330 @default.
- W2000947982 hasRelatedWork W2949245455 @default.
- W2000947982 hasRelatedWork W4300952577 @default.
- W2000947982 hasVolume "37" @default.
- W2000947982 isParatext "false" @default.
- W2000947982 isRetracted "false" @default.
- W2000947982 magId "2000947982" @default.
- W2000947982 workType "article" @default.