Search results
Jump to navigation
Jump to search
- ==Monday, March 11, David Diamondstone==2 KB (373 words) - 18:24, 26 September 2014
- ...theories for first-order arithmetic. (Work joint with Mingzhong Cai, David Diamondstone, Steffen Lempp, and Joseph S. Miller.)26 KB (3,894 words) - 16:10, 14 February 2014