dblp.uni-trier.dewww.uni-trier.de

Mitch Rudominer

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)