Boundedness Properties of Cardinals
β Scribed by John L. Hickman
- Publisher
- John Wiley and Sons
- Year
- 1979
- Tongue
- English
- Weight
- 153 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract A cardinal __ΞΊ__ is __tall__ if for every ordinal __ΞΈ__ there is an embedding __j__: __V__ β __M__ with critical point __ΞΊ__ such that __j__ (__ΞΊ__) > __ΞΈ__ and __M^ΞΊ^__ β __M__. Every strong cardinal is tall and every strongly compact cardinal is tall, but measurable cardinals are not
## Abstract Working within Bishopβstyle constructive mathematics, we examine some of the consequences of the antiβSpecker property, known to be equivalent to a version of Brouwer's fan theorem. The work is a contribution to constructive reverse mathematics (Β© 2010 WILEYβVCH Verlag GmbH & Co. KGaA,