p极闭域中fsg$\text｛fsg｝$群的一个注记

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2023-05-24 DOI:10.1002/malq.202200026

Will Johnson

{"title":"p极闭域中fsg$\\text｛fsg｝$群的一个注记","authors":"Will Johnson","doi":"10.1002/malq.202200026","DOIUrl":null,"url":null,"abstract":"Let G be a definable group in a p-adically closed field M. We show that G has finitely satisfiable generics (<math>\n <semantics>\n <mtext>fsg</mtext>\n <annotation>$\\text{fsg}$</annotation>\n </semantics></math>) if and only if G is definably compact. The case <math>\n <semantics>\n <mrow>\n <mi>M</mi>\n <mo>=</mo>\n <msub>\n <mi>Q</mi>\n <mi>p</mi>\n </msub>\n </mrow>\n <annotation>$M = \\mathbb {Q}_p$</annotation>\n </semantics></math> was previously proved by Onshuus and Pillay.","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":"69 1","pages":"50-57"},"PeriodicalIF":0.4000,"publicationDate":"2023-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A note on \\n \\n fsg\\n $\\\\text{fsg}$\\n groups in p-adically closed fields\",\"authors\":\"Will Johnson\",\"doi\":\"10.1002/malq.202200026\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let G be a definable group in a p-adically closed field M. We show that G has finitely satisfiable generics (<math>\\n <semantics>\\n <mtext>fsg</mtext>\\n <annotation>$\\\\text{fsg}$</annotation>\\n </semantics></math>) if and only if G is definably compact. The case <math>\\n <semantics>\\n <mrow>\\n <mi>M</mi>\\n <mo>=</mo>\\n <msub>\\n <mi>Q</mi>\\n <mi>p</mi>\\n </msub>\\n </mrow>\\n <annotation>$M = \\\\mathbb {Q}_p$</annotation>\\n </semantics></math> was previously proved by Onshuus and Pillay.\",\"PeriodicalId\":49864,\"journal\":{\"name\":\"Mathematical Logic Quarterly\",\"volume\":\"69 1\",\"pages\":\"50-57\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-05-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Logic Quarterly\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200026\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200026","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

设G是p-自由闭域M中的可定义群。我们证明了G具有有限可满足泛型（fsg$\text{fsg}$）当且仅当G是可定义紧致的。案例M=Q p$M=\mathbb{Q}_pOnshuus和Pillay之前已经证明了$。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A note on fsg $\text{fsg}$ groups in p-adically closed fields

Let G be a definable group in a p-adically closed field M. We show that G has finitely satisfiable generics ( $fsg$ ) if and only if G is definably compact. The case $M = Q_{p}$ was previously proved by Onshuus and Pillay.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.