A. Chernikov, E. Hrushovski, Alex Kruckman, K. Krupiński, Slavko Moconja, A. Pillay, N. Ramsey
{"title":"简单理论和小理论中的不变测度","authors":"A. Chernikov, E. Hrushovski, Alex Kruckman, K. Krupiński, Slavko Moconja, A. Pillay, N. Ramsey","doi":"10.1142/s0219061322500258","DOIUrl":null,"url":null,"abstract":"We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups, and nontriviality of the graded Grothendieck ring.","PeriodicalId":50144,"journal":{"name":"Journal of Mathematical Logic","volume":"320 1","pages":"2250025:1-2250025:37"},"PeriodicalIF":0.9000,"publicationDate":"2021-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Invariant measures in simple and in small theories\",\"authors\":\"A. Chernikov, E. Hrushovski, Alex Kruckman, K. Krupiński, Slavko Moconja, A. Pillay, N. Ramsey\",\"doi\":\"10.1142/s0219061322500258\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups, and nontriviality of the graded Grothendieck ring.\",\"PeriodicalId\":50144,\"journal\":{\"name\":\"Journal of Mathematical Logic\",\"volume\":\"320 1\",\"pages\":\"2250025:1-2250025:37\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2021-05-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1142/s0219061322500258\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1142/s0219061322500258","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}
Invariant measures in simple and in small theories
We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups, and nontriviality of the graded Grothendieck ring.
期刊介绍:
The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.