Bolzano-Weierstrass principle of choice extended towards ordinals

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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 $P_n(X, Y, m)$; which are used similarly in finite, countable and uncountable cases. New proofs of Ramsey's theorem and Erdös-Rado theorem are presented as some applications.
7 pages

Keywords

Logic, 05D10 (03E02 03E05)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/112992

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0606028
 http://arxiv.org/abs/math/0606028
 Ann. Math. Sil. No. 17 (2003), 9--16

Collections

arXiv