We adapt C. Freiling's axioms of symmetry (J. Symbolic Logic 51 (1986) 190 -200) to models of set theory with classes by identifying small classes with sets getting thus a sequence of principles A n , for n¿2, of increasing strength. Several equivalents of A 2 are given. A 2 is incompatible both wit
Terminal notions in set theory
✍ Scribed by Jindřich Zapletal
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 231 KB
- Volume
- 109
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
✦ Synopsis
In mathematical practice certain formulas (x) are believed to essentially decide all other natural properties of the object x. The purpose of this paper is to exactly quantify such a belief for four formulas (x), namely "x is a Ramsey ultraÿlter", "x is a free Souslin tree", "x is an extendible strong Lusin set" and "x is a good diamond sequence".
📜 SIMILAR VOLUMES
The notion of penultimate subgroup of a fuzzy group is introduced. This leads to the concept of penultimate product of fuzzy subgroups. A detailed study of di erent notions of product of fuzzy sets in a groupoid is carried out. The ultimate superiority of Liu's set product is established. Level subs