典型性的弱点
The weakness of typicality
首次发表
浏览论文内容
中文总结 AI 辅助
该研究针对反推数学中的问题，开发涵盖测度与概型的典型性框架，分类反推数学动物园中的问题，发现极弱问题也无典型解。
中文摘要 AI 辅助
在反推数学中研究的许多命题可视为以实例和解表述的数学问题。我们开发了涵盖测度与概型的典型性框架，并对反推数学动物园中的问题进行分类，以明确哪些问题存在典型解。结果表明，即使是极弱的问题也不存在典型解。
英文摘要
Many statements studied in reverse mathematics can be seen as mathematical problems, formulated in terms of instances and solutions. We develop a framework of typicality encompassing measure and genericity, and we classify the reverse mathematics zoo in terms of which problems admit typical solutions. It turns out that even very weak problems do not admit typical solutions.
发表机构
- University of Connecticut（康涅狄格大学）
- Université de Bordeaux（波尔多大学）
- Institut de Mathématiques de Jussieu-Paris Rive Gauche（巴黎左岸苏邦数学研究所）
- Université Paris Cité（巴黎西岱大学）
- School of Mathematics University of Leeds（利兹大学数学学院）
- Penn State University（宾夕法尼亚州立大学）
机构由 AI 辅助整理，请以论文原文为准。
