Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097427148> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2097427148 abstract "In [6] S. Shelah showed that in the endomorphism semi-group of an infinitely generated algebra which is free in a variety one can interpret some set theory. It follows from his results that, for an algebra Fℵ which is free of infinite rank ℵ in a variety of algebras in a language L, if ℵ > |L|, then the first-order theory of the endomorphism semi-group of Fℵ, Th(End(Fℵ)), syntactically interprets Th(ℵ,L2), the second-order theory of the cardinal ℵ. This means that for any second-order sentence χ of empty language there exists χ*, a first-order sentence of semi-group language, such that for any infinite cardinal ℵ > |L|,formula hereIn his paper Shelah notes that it is natural to study a similar problem for automorphism groups instead of endomorphism semi-groups; a priori the expressive power of the first-order logic for automorphism groups is less than the one for endomorphism semi-groups. For instance, according to Shelah's results on permutation groups [4, 5], one cannot interpret set theory by means of first-order logic in the permutation group of an infinite set, the automorphism group of an algebra in empty language. On the other hand, one can do this in the endomorphism semi-group of such an algebra.In [7, 8] the author found a solution for the case of the variety of vector spaces over a fixed field. If V is a vector space of an infinite dimension ℵ over a division ring D, then the theory Th(ℵ, L2) is interpretable in the first-order theory of GL(V), the automorphism group of V. When a field D is countable and definable up to isomorphism by a second-order sentence, then the theories Th(GL(V)) and Th(ℵ, L2) are mutually syntactically interpretable. In the general case, the formulation is a bit more complicated.The main result of this paper states that a similar result holds for the variety of all groups." @default.
- W2097427148 created "2016-06-24" @default.
- W2097427148 creator A5029237469 @default.
- W2097427148 date "2000-08-01" @default.
- W2097427148 modified "2023-09-23" @default.
- W2097427148 title "Set Theory is Interpretable in the Automorphism Group of an Infinitely Generated Free Group" @default.
- W2097427148 cites W1516116134 @default.
- W2097427148 cites W1975138204 @default.
- W2097427148 cites W1997059092 @default.
- W2097427148 cites W2012310033 @default.
- W2097427148 cites W2034715072 @default.
- W2097427148 cites W2048334396 @default.
- W2097427148 cites W2088225562 @default.
- W2097427148 cites W2745993813 @default.
- W2097427148 doi "https://doi.org/10.1112/s0024610700008760" @default.
- W2097427148 hasPublicationYear "2000" @default.
- W2097427148 type Work @default.
- W2097427148 sameAs 2097427148 @default.
- W2097427148 citedByCount "4" @default.
- W2097427148 crossrefType "journal-article" @default.
- W2097427148 hasAuthorship W2097427148A5029237469 @default.
- W2097427148 hasConcept C10138342 @default.
- W2097427148 hasConcept C105795698 @default.
- W2097427148 hasConcept C114614502 @default.
- W2097427148 hasConcept C116858840 @default.
- W2097427148 hasConcept C118615104 @default.
- W2097427148 hasConcept C118712358 @default.
- W2097427148 hasConcept C136119220 @default.
- W2097427148 hasConcept C136197465 @default.
- W2097427148 hasConcept C162324750 @default.
- W2097427148 hasConcept C164226766 @default.
- W2097427148 hasConcept C178790620 @default.
- W2097427148 hasConcept C182306322 @default.
- W2097427148 hasConcept C185592680 @default.
- W2097427148 hasConcept C202444582 @default.
- W2097427148 hasConcept C2778153370 @default.
- W2097427148 hasConcept C2781311116 @default.
- W2097427148 hasConcept C33923547 @default.
- W2097427148 hasConcept C77021192 @default.
- W2097427148 hasConceptScore W2097427148C10138342 @default.
- W2097427148 hasConceptScore W2097427148C105795698 @default.
- W2097427148 hasConceptScore W2097427148C114614502 @default.
- W2097427148 hasConceptScore W2097427148C116858840 @default.
- W2097427148 hasConceptScore W2097427148C118615104 @default.
- W2097427148 hasConceptScore W2097427148C118712358 @default.
- W2097427148 hasConceptScore W2097427148C136119220 @default.
- W2097427148 hasConceptScore W2097427148C136197465 @default.
- W2097427148 hasConceptScore W2097427148C162324750 @default.
- W2097427148 hasConceptScore W2097427148C164226766 @default.
- W2097427148 hasConceptScore W2097427148C178790620 @default.
- W2097427148 hasConceptScore W2097427148C182306322 @default.
- W2097427148 hasConceptScore W2097427148C185592680 @default.
- W2097427148 hasConceptScore W2097427148C202444582 @default.
- W2097427148 hasConceptScore W2097427148C2778153370 @default.
- W2097427148 hasConceptScore W2097427148C2781311116 @default.
- W2097427148 hasConceptScore W2097427148C33923547 @default.
- W2097427148 hasConceptScore W2097427148C77021192 @default.
- W2097427148 hasLocation W20974271481 @default.
- W2097427148 hasOpenAccess W2097427148 @default.
- W2097427148 hasPrimaryLocation W20974271481 @default.
- W2097427148 hasRelatedWork W141907986 @default.
- W2097427148 hasRelatedWork W1541240242 @default.
- W2097427148 hasRelatedWork W1564481944 @default.
- W2097427148 hasRelatedWork W1594530588 @default.
- W2097427148 hasRelatedWork W1675322100 @default.
- W2097427148 hasRelatedWork W1680814342 @default.
- W2097427148 hasRelatedWork W1989828571 @default.
- W2097427148 hasRelatedWork W2006600372 @default.
- W2097427148 hasRelatedWork W2082461163 @default.
- W2097427148 hasRelatedWork W2090052332 @default.
- W2097427148 hasRelatedWork W2180026923 @default.
- W2097427148 hasRelatedWork W2762773383 @default.
- W2097427148 hasRelatedWork W2937204909 @default.
- W2097427148 hasRelatedWork W2949538735 @default.
- W2097427148 hasRelatedWork W2976296537 @default.
- W2097427148 hasRelatedWork W3101435251 @default.
- W2097427148 hasRelatedWork W3101860881 @default.
- W2097427148 hasRelatedWork W3102517079 @default.
- W2097427148 hasRelatedWork W3106086313 @default.
- W2097427148 hasRelatedWork W3158201394 @default.
- W2097427148 isParatext "false" @default.
- W2097427148 isRetracted "false" @default.
- W2097427148 magId "2097427148" @default.
- W2097427148 workType "article" @default.