Bolzano-Weierstrass principle of choice extended towards ordinals
Abstract
The Bolzano-Weierstrass principle of choice is the oldest method of the set theory, traditionally used in mathematical analysis. We are extending it towards transfinite sequences of steps indexed by ordinals. We are introducing the notions: hiker's tracks, hiker's maps and statements Pn(X, Y, m); which are used similarly in finite, countable and uncountable cases. New proofs of Ramsey's theorem and Erd\"os-Rado theorem are presented as some applications.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.