3 Mar
2011
3 Mar
'11
7:04 a.m.
Vasili I. Galchin wrote in part on the categories list:
I am confused about the notion of "encoding" regarding sieves:
Looking through the history of the page, it seems that Urs Schreiber introduced that term. So he might be able to say what he meant by it. (I'm pretty sure that he reads this list, but I'll Cc him to be safe.) By the way, the page is http://ncatlab.org/nlab/show/sieve for anybody who doesn't know how to find it. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]