𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An ω-hierarchy of axiom systemZF

✍ Scribed by Zhang Jinwen

Publisher
Institute of Mathematics, Chinese Academy of Sciences and Chinese Mathematical Society
Year
1990
Tongue
English
Weight
202 KB
Volume
6
Category
Article
ISSN
1439-7617

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Various hierarchies of ω-regular sets
Various hierarchies of ω-regular sets
✍ Nobuyuki Takahashi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 582 KB

Barua (1992) studied a hierarchy &?,, (n = 1,2,3,. . .), where %?n is a class of w-regular sets which are decomposed into n rational Ga sets forming a decreasing sequence. On the other hand, Kaminski (1985) defined a hierarchy B, (m = 1,2,3,. .), where B, is a class of w-regular sets which are decom

Reflection of elementary embedding axiom
Reflection of elementary embedding axioms on the L[Vλ+1] hierarchy
✍ Richard Laver 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Say that the property ( ) of a cardinal strongly implies the property ( ). If and only if for every ; ( ) implies that ( ) and that for some ¡ ; ( ). Frequently in the hierarchy of large cardinal axioms, stronger axioms strongly imply weaker ones. Some strong implications are proved between axioms o