1,844 followers
@andrejbauer @wtgowers @JDHamkins Try the work of Chad Brown, in particular his and Pak's "A Tale of Two Set Theories" where he purposefully seeks such happy accidents of encodings. https://t.co/jImDksLmoK
@andrejbauer @wtgowers @JDHamkins Try the work of Chad Brown, in particular his and Pak's "A Tale of Two Set Theories" where he purposefully seeks such happy accidents of encodings. https://t.co/jImDksLmoK
A Tale of Two Set Theories https://t.co/07ZBJD0H9v
"A Tale of Two Set Theories. (arXiv:1907.08368v1 [cs.LO])" #arXiv https://t.co/nX5098U1aB