Search results

Jump to: navigation, search
  • ==Monday, March 11, David Diamondstone==
    2 KB (373 words) - 13: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) - 11:10, 14 February 2014