宏伟
发表于 2025-3-27 00:25:35
Cardinals: Finite, Countable, and Uncountablers, from which the Dedekind–Peano axioms are derived as theorems. Dedekind infinite sets and reflexive cardinals are also defined. It then presents the axiom of!choiceAxiom of Choice and contrasts it with effective!choiceeffective choice, using the notion of effectivenesseffectiveness informally. Th
考古学
发表于 2025-3-27 03:32:02
http://reply.papertrans.cn/87/8658/865767/865767_32.png
悄悄移动
发表于 2025-3-27 06:57:37
http://reply.papertrans.cn/87/8658/865767/865767_33.png
阻碍
发表于 2025-3-27 09:48:14
Well-Orders and Ordinalsvon Neumann ordinals. We cover the basic ordinal operations of sum and product, transfinite induction and recursion, uniqueness of isomorphisms and ranks, unique representation of well-orders by initial sets of ordinals, the comparability theorem for well-orders, the division algorithm, remainder or
predict
发表于 2025-3-27 16:25:57
Postscript II: Infinitary Combinatoricsded to be a link for the reader to begin further study in the area. We indicate how the obvious generalizations of three separate topics of the last chapter, namely short orders, König’s Infinity Lemma, and Ramsey’s Theorem, converge naturally to the notion of a ., an example of a large cardinal. In
观点
发表于 2025-3-27 18:43:43
http://reply.papertrans.cn/87/8658/865767/865767_36.png
JECT
发表于 2025-3-27 23:53:07
The Heine–Borel and Baire Category Theoremsc proof that . is uncountable. Other topics focus on measure and category: Lebesgue measurable sets, Baire category, the perfect set property for . sets, the Banach–Mazur game and Baire property, and the Vitali and Bernstein constructions.
勉励
发表于 2025-3-28 04:06:16
http://reply.papertrans.cn/87/8658/865767/865767_38.png
训诫
发表于 2025-3-28 09:45:34
http://reply.papertrans.cn/87/8658/865767/865767_39.png
preeclampsia
发表于 2025-3-28 13:29:47
Well-Orders and Ordinalsnks, unique representation of well-orders by initial sets of ordinals, the comparability theorem for well-orders, the division algorithm, remainder ordinals, ordinal exponentiation, and the Cantor Normal Form.