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