{"title":"在被测结构中具有较高的汞化性能","authors":"David M. Evans","doi":"10.2140/mt.2023.2.233","DOIUrl":null,"url":null,"abstract":"Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable in the sense of Macpherson and Steinhorn, but which is not generally true in structures which are supersimple of finite SU-rank. We use this to show that some of Hrushovski's non-locally-modular, supersimple $\\omega$-categorical structures are not MS-measurable.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Higher amalgamation properties in measured structures\",\"authors\":\"David M. Evans\",\"doi\":\"10.2140/mt.2023.2.233\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable in the sense of Macpherson and Steinhorn, but which is not generally true in structures which are supersimple of finite SU-rank. We use this to show that some of Hrushovski's non-locally-modular, supersimple $\\\\omega$-categorical structures are not MS-measurable.\",\"PeriodicalId\":21757,\"journal\":{\"name\":\"Simul. Model. Pract. Theory\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-10-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Simul. Model. Pract. Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.2140/mt.2023.2.233\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Simul. Model. Pract. Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2140/mt.2023.2.233","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Higher amalgamation properties in measured structures
Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable in the sense of Macpherson and Steinhorn, but which is not generally true in structures which are supersimple of finite SU-rank. We use this to show that some of Hrushovski's non-locally-modular, supersimple $\omega$-categorical structures are not MS-measurable.