论文标题
$ \ mathbb {r} $的不可实数的反向数学：baire类，公制空间和无序总和
Reverse Mathematics of the uncountability of $\mathbb{R}$: Baire classes, metric spaces, and unordered sums
论文作者
论文摘要
DAG NORMANN和作者最近开始研究$ \ Mathbb {r} $的逻辑和计算属性的逻辑和计算属性，正式化为$ \ textsf {nin} $（seves。$ \ $ \ textsf {ninbi} $，没有$ n o $ n o $ n o $ bb bb y maths n n in o n of nigection $ n of [ninbi} $另一方面，基于理解和不连续的功能，这些原则是基于理解和不连续的功能的，这是基于新的免费量表，基于（经典）的连续性公理。关于Baire类，度量空间和无序总和的定理。 $ \ textsf {nbi} $用限制制定。
Dag Normann and the author have recently initiated the study of the logical and computational properties of the uncountability of $\mathbb{R}$ formalised as the statement $\textsf{NIN}$ (resp. $\textsf{NBI}$ that there is no injection (resp. bijection) from $[0,1]$ to $\mathbb{N}$. On one hand, these principles are hard to prove relative to the usual scale based on comprehension and discontinuous functionals. On the other hand, these principles are among the weakest principles on a new complimentary scale based on (classically valid) continuity axioms from Brouwer's intuitionistic mathematics. We continue the study of $\textsf{NIN}$ and $\textsf{NBI}$ relative to the latter scale, connecting these principles with theorems about Baire classes, metric spaces, and unordered sums. The importance of the first two topics requires no explanation, while the final topic's main theorem, i.e. that when they exist, unordered sums are (countable) series, has the rather unique property of implying $\textsf{NIN}$ formulated with the Cauchy criterion, and (only) $\textsf{NBI}$ when formulated with limits. This study is undertaken within Ulrich Kohlenbach's framework of higher-order Reverse Mathematics.
