All Stories

  1. AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC