I am interested in references to formal theories of multisets which are ZFC
compatible. Are there nice results linking definable partially reflexive
relations of some type on sets to multisets.
Thanks,
A. Mani
Member, Cal. Math. Soc
Send instant messages to your online friends http://in.messenger.yahoo.com