3,824 followers
My "On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory" has just published: http://t.co/eAuTMBparb
My "On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory" has just published: http://t.co/eAuTMBparb
My "On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory" has just published: http://t.co/eAuTMBparb