Thanks to all who replied. My *&%$£@# student has npw decided he doesn't
want to do an essay on ultrafinitism after all, but as a result of kindness
of listmembers i now have a good reading list, and some very interesting
pdfs, including the Esesin-Volpin thing from the 1970s. Many thanks again!!
Thomas