arXiv 2015-12-06 EN Good ultrafilters and highly saturated models: a friendly explanation Lammert, Paul E.
arXiv 2002-02-27 EN Borel and countably determined reducibility in nonstandard domain Kanovei, Vladimir · Reeken, Michael
