GENERALIZED AMALGAMATION AND HOMOGENEITY.
In this paper we shall prove that any 2-transitive finitely homogeneous structure with a supersimple theory satisfying a generalized amalgamation property is a random structure. In particular, this adapts a result of Koponen for binary homogeneous structures to arbitrary ones without binary relation...
| Publicado en: | Journal of Symbolic Logic Vol. 82; no. 4; pp. 1409 - 1422 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Dec2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=127197698&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 127197698 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00224812 3TY jtl: Journal of Symbolic Logic issn: 00224812 maglogo: N pubinfo: dt: Dec2017 vid: 82 iid: 4 pid: 15979 pub: Cambridge University Press artinfo: ui: 127197698 10.1017/jsl.2016.67 ppf: 1409 ppct: 13 formats: tig: atl: GENERALIZED AMALGAMATION AND HOMOGENEITY. aug: au: PALACÍN, DANIEL affil: MATHEMATISCHES INSTITUT UNIVERSITÄT MÜNSTER EINSTEINSTRASSE 62 48149 MÜNSTER, GERMANY su: Homogeneity Mathematical analysis Reversible computing Numerical analysis Limits (Mathematics) sug: subj: Homogeneity Mathematical analysis Reversible computing Numerical analysis Limits (Mathematics) keyword: 03C45 amalgamation property model theory random structure simple theory ab: In this paper we shall prove that any 2-transitive finitely homogeneous structure with a supersimple theory satisfying a generalized amalgamation property is a random structure. In particular, this adapts a result of Koponen for binary homogeneous structures to arbitrary ones without binary relations. Furthermore, we point out a relation between generalized amalgamation, triviality and quantifier elimination in simple theories. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|