2004 | ||
---|---|---|
3 | EE | Qi Feng, Ronald B. Jensen: Supercomplete extenders and type 1 mice: Part I. Ann. Pure Appl. Logic 128(1-3): 1-73 (2004) |
2000 | ||
2 | Ronald B. Jensen, Martin Zeman: Smooth Categories and Global square. Ann. Pure Appl. Logic 102(1-2): 101-138 (2000) | |
1995 | ||
1 | EE | Ronald B. Jensen: Inner models and large cardinals. Bulletin of Symbolic Logic 1(4): 393-407 (1995) |
1 | Qi Feng | [3] |
2 | Martin Zeman | [2] |