Kenneth Kunen Franklin D. Tall The Real Line in Elementary Submodels of Set Theory. 683-691 2000 65 J. Symb. Log. 2 db/journals/jsyml/jsyml65.html#KunenT00