Revision as of 00:48, 7 June 2013 edit 24.3.155.133 (talk) No edit summary ← Previous edit		Revision as of 00:51, 7 June 2013 edit undo 24.3.155.133 (talk) No edit summary Next edit →
Line 1: EFA, Elementary Function Arithmetic or Exponential Function Arithmetic is a very weak logical system, whose [[proof theoretic ordinal]] is ω<sup>3</sup>, but still seems able to prove much of ordinary mathematics that can be stated in the language of first-order arithmetic and was developed by [[Harvey Friedman\|Harvey Friedman]]. ==Definition==

Elementary function arithmetic: Difference between revisions