Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange property. Then $T$ has uniform finiteness, or equivalently, it eliminates the quantifier $exists^infty$. It follows that very slim fields in the sense of Junker and Koenigsmann are the same thing as geometric fields in the sense of Hrushovski and Pillay. Modulo some fine print, these two concepts are also equivalent to algebraically bounded fields in the sense of van den Dries. From the proof, one gets a one-cardinal theorem for geometric theories of fields: any infinite definable set has the same cardinality as the field. We investigate whether this extends to interpretable sets. We show that positive dimensional interpretable sets must have the same cardinality as the field, but zero-dimensional interpretable sets can have smaller cardinality. As an application, we show that any geometric theory of fields has an uncountable model with only countably many finite algebraic extensions.
{"title":"A note on geometric theories of fields","authors":"Will Johnson, Jinhe Ye","doi":"10.2140/mt.2023.2.121","DOIUrl":"https://doi.org/10.2140/mt.2023.2.121","url":null,"abstract":"Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange property. Then $T$ has uniform finiteness, or equivalently, it eliminates the quantifier $exists^infty$. It follows that very slim fields in the sense of Junker and Koenigsmann are the same thing as geometric fields in the sense of Hrushovski and Pillay. Modulo some fine print, these two concepts are also equivalent to algebraically bounded fields in the sense of van den Dries. From the proof, one gets a one-cardinal theorem for geometric theories of fields: any infinite definable set has the same cardinality as the field. We investigate whether this extends to interpretable sets. We show that positive dimensional interpretable sets must have the same cardinality as the field, but zero-dimensional interpretable sets can have smaller cardinality. As an application, we show that any geometric theory of fields has an uncountable model with only countably many finite algebraic extensions.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"44 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86451937","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}
Pub Date : 2022-07-01DOI: 10.1016/j.simpat.2022.102623
Feilong Du, X. Ban, Yalan Zhang, Yu Guo, M. Obaidat
{"title":"FluidMLP: A general method for learning Lagrangian fluid simulation","authors":"Feilong Du, X. Ban, Yalan Zhang, Yu Guo, M. Obaidat","doi":"10.1016/j.simpat.2022.102623","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102623","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"47 1","pages":"102623"},"PeriodicalIF":0.0,"publicationDate":"2022-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87022302","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}
Philip Dittmann, Franziska Jahnke, L. S. Krapp, Salma Kuhlmann
We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings $mathcal{L}_{mathrm{r}}$ and in the richer language of ordered rings $mathcal{L}_{mathrm{or}}$. We analyse and compare definability in both languages and show the following contrary results: while there are convex valuations that are definable in the language $mathcal{L}_{mathrm{or}}$ but not in the language $mathcal{L}_{mathrm{r}}$, any $mathcal{L}_{mathrm{or}}$-definable henselian valuation is already $mathcal{L}_{mathrm{r}}$-definable. To prove the latter, we show that the value group and the ordered residue field of an ordered henselian valued field are stably embedded (as an ordered abelian group, respectively as an ordered field). Moreover, we show that in almost real closed fields any $mathcal{L}_{mathrm{or}}$-definable valuation is henselian.
{"title":"Definable valuations on ordered fields","authors":"Philip Dittmann, Franziska Jahnke, L. S. Krapp, Salma Kuhlmann","doi":"10.2140/mt.2023.2.101","DOIUrl":"https://doi.org/10.2140/mt.2023.2.101","url":null,"abstract":"We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings $mathcal{L}_{mathrm{r}}$ and in the richer language of ordered rings $mathcal{L}_{mathrm{or}}$. We analyse and compare definability in both languages and show the following contrary results: while there are convex valuations that are definable in the language $mathcal{L}_{mathrm{or}}$ but not in the language $mathcal{L}_{mathrm{r}}$, any $mathcal{L}_{mathrm{or}}$-definable henselian valuation is already $mathcal{L}_{mathrm{r}}$-definable. To prove the latter, we show that the value group and the ordered residue field of an ordered henselian valued field are stably embedded (as an ordered abelian group, respectively as an ordered field). Moreover, we show that in almost real closed fields any $mathcal{L}_{mathrm{or}}$-definable valuation is henselian.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"20 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88171979","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}
Pub Date : 2022-06-01DOI: 10.1016/j.simpat.2022.102610
Ravi Yadav, G. Baranwal
{"title":"An Efficient Trust Management using Feedback Credibility Evaluation Method in Fog Computing","authors":"Ravi Yadav, G. Baranwal","doi":"10.1016/j.simpat.2022.102610","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102610","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"54 1","pages":"102610"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72810721","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}
Pub Date : 2022-06-01DOI: 10.1016/j.simpat.2022.102616
Silvia García-Méndez, Fátima Leal, Benedita Malheiro, J. C. Burguillo-Rial, Bruno Veloso, Adriana E. Chis, H. González-Vélez
{"title":"Simulation, modelling and classification of wiki contributors: Spotting the good, the bad, and the ugly","authors":"Silvia García-Méndez, Fátima Leal, Benedita Malheiro, J. C. Burguillo-Rial, Bruno Veloso, Adriana E. Chis, H. González-Vélez","doi":"10.1016/j.simpat.2022.102616","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102616","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"58 1","pages":"102616"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88253426","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}
Pub Date : 2022-06-01DOI: 10.1016/j.simpat.2022.102601
Prathamesh Mone, Hrishikesh Athalye, Chetas Borse, D. Kshirsagar, Sachin D. Patil
{"title":"Testbed based analysis of Linux queue disciplines over Internet traffic mix","authors":"Prathamesh Mone, Hrishikesh Athalye, Chetas Borse, D. Kshirsagar, Sachin D. Patil","doi":"10.1016/j.simpat.2022.102601","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102601","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"30 1","pages":"102601"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76817025","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}
Pub Date : 2022-06-01DOI: 10.1016/j.simpat.2022.102614
Zhiqiang Zhang, Le Wang, Guangyao Chen, Zhaoquan Gu, Zhihong Tian, Xiaojiang Du, M. Guizani
{"title":"STG2P: A two-stage pipeline model for intrusion detection based on improved LightGBM and K-means","authors":"Zhiqiang Zhang, Le Wang, Guangyao Chen, Zhaoquan Gu, Zhihong Tian, Xiaojiang Du, M. Guizani","doi":"10.1016/j.simpat.2022.102614","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102614","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"6 1","pages":"102614"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78833374","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}
Pub Date : 2022-06-01DOI: 10.1016/j.simpat.2022.102621
Adarsh Kumar, A. Yadav, S. S. Gill, H. Pervaiz, Q. Ni, R. Buyya
{"title":"A secure drone-to-drone communication and software defined drone network-enabled traffic monitoring system","authors":"Adarsh Kumar, A. Yadav, S. S. Gill, H. Pervaiz, Q. Ni, R. Buyya","doi":"10.1016/j.simpat.2022.102621","DOIUrl":"https://doi.org/10.1016/j.simpat.2022.102621","url":null,"abstract":"","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"52 1","pages":"102621"},"PeriodicalIF":0.0,"publicationDate":"2022-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85402305","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}
Pub Date : 2022-05-01DOI: 10.48550/arXiv.2205.03278
Katerina Koutlia, Biljana Bojović, Zoraze Ali, S. Lagén
Due to the rapid technology evolution and standardization activity in the mobile communication networks, there is the need for the research community to be able to develop, test and evaluate new and/or already xisting solutions before industrial or real-network implementation. As such, it is essential to have an open-source tool that provides an alternative solution to that of industrial proprietary simulators that are not available for public usage. ns-3 5G-LENA simulator is an end-to-end open-source NR system-level simulator that allows extensive research to be performed. However, it is of great importance to guarantee that the results obtained using the simulator can be comparable to that of industrial simulators and real networks. For this reason, calibrating the simulator based on 3GPP defined specifications is crucial. Based on the above, in this paper we calibrate the ns-3 5G-LENA simulator according to the 3GPP reference results for NR-based outdoor deployments. Moreover, we explore the REM feature provided by the simulator, to ease the calibration process and understand better the radio environment. Results show the resemblance of the simulator performance to that of simulators used as references by 3GPP.
{"title":"Calibration of the 5G-LENA System Level Simulator in 3GPP reference scenarios","authors":"Katerina Koutlia, Biljana Bojović, Zoraze Ali, S. Lagén","doi":"10.48550/arXiv.2205.03278","DOIUrl":"https://doi.org/10.48550/arXiv.2205.03278","url":null,"abstract":"Due to the rapid technology evolution and standardization activity in the mobile communication networks, there is the need for the research community to be able to develop, test and evaluate new and/or already xisting solutions before industrial or real-network implementation. As such, it is essential to have an open-source tool that provides an alternative solution to that of industrial proprietary simulators that are not available for public usage. ns-3 5G-LENA simulator is an end-to-end open-source NR system-level simulator that allows extensive research to be performed. However, it is of great importance to guarantee that the results obtained using the simulator can be comparable to that of industrial simulators and real networks. For this reason, calibrating the simulator based on 3GPP defined specifications is crucial. Based on the above, in this paper we calibrate the ns-3 5G-LENA simulator according to the 3GPP reference results for NR-based outdoor deployments. Moreover, we explore the REM feature provided by the simulator, to ease the calibration process and understand better the radio environment. Results show the resemblance of the simulator performance to that of simulators used as references by 3GPP.","PeriodicalId":21757,"journal":{"name":"Simul. Model. Pract. Theory","volume":"32 1","pages":"102580"},"PeriodicalIF":0.0,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88088278","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：