Finite Embeddability of Sets and Ultrafilters - Andreas Blass; Mauro Di Nasso (2014)