The aim of this paper is to study those pairs of complementary equivalence relations on a fixed set which are maximal as families of mutually complementary equivalence relations. The existence of such pairs on uncountable sets was proved by Steprgns and Watson (1995). They conjectured that such pair
Thin equivalence relations in scaled pointclasses
β Scribed by Ralf Schindler; Philipp Schlicht
- Publisher
- John Wiley and Sons
- Year
- 2011
- Tongue
- English
- Weight
- 126 KB
- Volume
- 57
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
For ordinals Ξ± beginning a Ξ£1 gap in L(R), where Ξ£ J Ξ± (R) 1 is closed under number quantification, we give an inner model-theoretic proof that every thin
in a real parameter from the (optimal) hypothesis AD J Ξ± (R) .
π SIMILAR VOLUMES
## Abstract Preference for food in the function of the time since last consumption and total preference in the function of eating frequency are equivalent mathematical representations of attitudes governing food consumption. The observed and postulated properties of these functions imply a formal c
## Abstract It is known that every Borel hypersmooth but nonβsmooth equivalence relation is Borel biβreducible to E~1~. We prove a ROD version of this result in the Solovay model.