数学 > 逻辑
[提交于 2025年4月18日
]
标题: 有界完美PAC域上的测度
标题: Measures on bounded perfect PAC fields
摘要: 我们描述了一种在有界完美 PAC 域上构造 Keisler 测度的方法。 由此得出推论:所有在有界完美 PAC 域中可定义的群,甚至是在无界完美 Frobenius 域中可定义的群,都是可定义地可递归的。 这项工作基于我们之前关于 $e$-free PAC 域的测度构造以及 Will Johnson 的相关构造。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.