发布求助
文献互助 智能选刊 最新文献

Simul. Model. Pract. Theory最新文献

筛选
英文 中文
Groups of finite Morley rank with a generically multiply transitive action on an abelian group 在阿贝尔群上具有一般乘传递作用的有限Morley秩群
Simul. Model. Pract. Theory Pub Date : 2021-07-21 DOI: 10.2140/mt.2022.1.1
A. Berkman, A. Borovik
{"title":"Groups of finite Morley rank with a generically multiply transitive action on an abelian group","authors":"A. Berkman, A. Borovik","doi":"10.2140/mt.2022.1.1","DOIUrl":"https://doi.org/10.2140/mt.2022.1.1","url":null,"abstract":"We investigate the configuration where a group of finite Morley rank acts definably and generically m -transitively on an elementary abelian p -group of Morley rank n , where p is an odd prime, and m ⩾ n . We conclude that m = n , and the action is equivalent to the natural action of GL n ( F ) on F n for some algebraically closed field F . This strengthens one of our earlier results, and partially answers two problems posed by Borovik and Cherlin in 2008.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"21 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87388048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
CM-trivial structures without the canonical base property 没有标准基性质的cm平凡结构
Simul. Model. Pract. Theory Pub Date : 2021-06-28 DOI: 10.2140/mt.2022.1.31
Thomas Blossier, Léo Jimenez
{"title":"CM-trivial structures without the canonical base property","authors":"Thomas Blossier, Léo Jimenez","doi":"10.2140/mt.2022.1.31","DOIUrl":"https://doi.org/10.2140/mt.2022.1.31","url":null,"abstract":"Based on Hrushovski, Palac{'i}n and Pillay's example [6], we produce a new structure without the canonical base property, which is interpretable in Baudisch's group. Said structure is, in particular, CM-trivial, and thus at the lowest possible level of the ample hierarchy.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87868149","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Abbreviations 缩写
Simul. Model. Pract. Theory Pub Date : 2021-06-07 DOI: 10.13109/9783666565526.7
{"title":"Abbreviations","authors":"","doi":"10.13109/9783666565526.7","DOIUrl":"https://doi.org/10.13109/9783666565526.7","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"105 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80874533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Title Pages 标题页
Simul. Model. Pract. Theory Pub Date : 2021-06-07 DOI: 10.13109/9783666565526.front
{"title":"Title Pages","authors":"","doi":"10.13109/9783666565526.front","DOIUrl":"https://doi.org/10.13109/9783666565526.front","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"62 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73180367","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Luther’s “Simul Iustus et Peccator”
Simul. Model. Pract. Theory Pub Date : 2021-06-07 DOI: 10.13109/9783666565526.31
O. Bayer
{"title":"Luther’s “Simul Iustus et Peccator”","authors":"O. Bayer","doi":"10.13109/9783666565526.31","DOIUrl":"https://doi.org/10.13109/9783666565526.31","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"8 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82391057","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Kim-independence in positive logic 正逻辑中的金氏独立性
Simul. Model. Pract. Theory Pub Date : 2021-05-17 DOI: 10.2140/mt.2022.1.55
J. Dobrowolski, M. Kamsma
{"title":"Kim-independence in positive logic","authors":"J. Dobrowolski, M. Kamsma","doi":"10.2140/mt.2022.1.55","DOIUrl":"https://doi.org/10.2140/mt.2022.1.55","url":null,"abstract":"An important dividing line in the class of unstable theories is being NSOP$_1$, which is more general than being simple. In NSOP$_1$ theories forking independence may not be as well-behaved as in stable or simple theories, so it is replaced by another independence notion, called Kim-independence. We generalise Kim-independence over models in NSOP$_1$ theories to positive logic -- a proper generalisation of first-order logic where negation is not built in, but can be added as desired. For example, an important application is that we can add hyperimaginary sorts to a positive theory to get another positive theory, preserving NSOP$_1$ and various other properties. We prove that, in a thick positive NSOP$_1$ theory, Kim-independence over existentially closed models has all the nice properties that it is known to have in a first-order NSOP$_1$ theory. We also provide a Kim-Pillay style theorem, characterising which thick positive theories are NSOP$_1$ by the existence of a certain independence relation. Furthermore, this independence relation must then be the same as Kim-independence. Thickness is the mild assumption that being an indiscernible sequence is type-definable. In first-order logic Kim-independence is defined in terms of Morley sequences in global invariant types. These may not exist in thick positive theories. We solve this by working with Morley sequences in global Lascar-invariant types, which do exist in thick positive theories. We also simplify certain tree constructions that were used in the study of Kim-independence in first-order theories. In particular, we only work with trees of finite height.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"79 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87107783","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Keisler measures in the wild Keisler在野外测量
Simul. Model. Pract. Theory Pub Date : 2021-03-16 DOI: 10.2140/mt.2023.2.1
G. Conant, K. Gannon, James Hanson
{"title":"Keisler measures in the wild","authors":"G. Conant, K. Gannon, James Hanson","doi":"10.2140/mt.2023.2.1","DOIUrl":"https://doi.org/10.2140/mt.2023.2.1","url":null,"abstract":"We investigate Keisler measures in arbitrary theories. Our initial focus is on Borel definability. We show that when working over countable parameter sets in countable theories, Borel definable measures are closed under Morley products and satisfy associativity. However, we also demonstrate failures of both properties over uncountable parameter sets. In particular, we show that the Morley product of Borel definable types need not be Borel definable (correcting an erroneous result from the literature). We then study various notions of generic stability for Keisler measures and generalize several results from the NIP setting to arbitrary theories. We also prove some positive results for the class of frequency interpretation measures in arbitrary theories, namely, that such measures are closed under convex combinations and commute with all Borel definable measures. Finally, we construct the first example of a complete type which is definable and finitely satisfiable in a small model, but not finitely approximated over any small model.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"303 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86765389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Approach on simulation of solidification and shrinkage of gravity cast salt cores 重力铸造盐岩心凝固收缩模拟的探讨
Simul. Model. Pract. Theory Pub Date : 2021-02-01 DOI: 10.1016/j.simpat.2020.102231
A. Schilling, Kaitlin Salscheider, H. Rusche, H. Jasak, M. Fehlbier, S. Kohlstädt
{"title":"Approach on simulation of solidification and shrinkage of gravity cast salt cores","authors":"A. Schilling, Kaitlin Salscheider, H. Rusche, H. Jasak, M. Fehlbier, S. Kohlstädt","doi":"10.1016/j.simpat.2020.102231","DOIUrl":"https://doi.org/10.1016/j.simpat.2020.102231","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"18 1","pages":"102231"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73685347","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Modelling and simulation of a new cooperative algorithm for UAV swarm coordination in mobile RF target tracking 移动射频目标跟踪中一种新型无人机群协调协同算法的建模与仿真
Simul. Model. Pract. Theory Pub Date : 2021-02-01 DOI: 10.1016/j.simpat.2020.102232
Yannis Spyridis, T. Lagkas, P. Sarigiannidis, Jie Zhang
{"title":"Modelling and simulation of a new cooperative algorithm for UAV swarm coordination in mobile RF target tracking","authors":"Yannis Spyridis, T. Lagkas, P. Sarigiannidis, Jie Zhang","doi":"10.1016/j.simpat.2020.102232","DOIUrl":"https://doi.org/10.1016/j.simpat.2020.102232","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"96 1","pages":"102232"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81049026","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Probabilistic inference-based modeling for sustainable environmental systems under hybrid cloud infrastructure 混合云基础设施下可持续环境系统的概率推理建模
Simul. Model. Pract. Theory Pub Date : 2021-02-01 DOI: 10.1016/j.simpat.2020.102215
Zhiwei Guo, Yu Shen, M. Aloqaily, Y. Jararweh, Keping Yu
{"title":"Probabilistic inference-based modeling for sustainable environmental systems under hybrid cloud infrastructure","authors":"Zhiwei Guo, Yu Shen, M. Aloqaily, Y. Jararweh, Keping Yu","doi":"10.1016/j.simpat.2020.102215","DOIUrl":"https://doi.org/10.1016/j.simpat.2020.102215","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"295 1","pages":"102215"},"PeriodicalIF":0.0,"publicationDate":"2021-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89066646","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信