Mauro Di Nasso Karel Hrbacek Combinatorial principle in nonstandard analysis. 265-293 2003 119 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal119.html#NassoH03