No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
## Indestructibility and stationary reflection If ฮบ < ฮป are such that ฮบ is a strong cardinal whose strongness is indestructible under ฮบ-strategically closed forcing and ฮป is weakly compact, then we show that A = {ฮด < ฮบ | ฮด is a non-weakly compact Mahlo cardinal reflecting stationary sets} must be
In this work we introduce a class of commutative rings whose defining condition is that its lattice of ideals, augmented with the ideal product, the semi-ring of ideals, is isomorphic to an MV-algebra. This class of rings coincides with the class of commutative rings which are direct sums of local A
## The Relation Reflection Scheme We introduce a new axiom scheme for constructive set theory, the Relation Reflection Scheme (RRS). Each instance of this scheme is a theorem of the classical set theory ZF. In the constructive set theory CZF -, when the axiom scheme is combined with the axiom of D