![]() | ![]() |
2000 | ||
---|---|---|
3 | Mitch Rudominer: Inner Model Operators in L(R). Ann. Pure Appl. Logic 101(2-3): 147-184 (2000) | |
1999 | ||
2 | Mitch Rudominer: The Largest Countable Inductive Set is A Mouse Set. J. Symb. Log. 64(2): 443-459 (1999) | |
1997 | ||
1 | Mitch Rudominer: Mouse Sets. Ann. Pure Appl. Logic 87(1): 1-100 (1997) |