Revision as of 13:12, 22 October 2010 edit R.e.b. (talk \| contribs) Extended confirmed users, Pending changes reviewers 42,907 edits →References: ref ← Previous edit		Revision as of 13:13, 22 October 2010 edit undo R.e.b. (talk \| contribs) Extended confirmed users, Pending changes reviewers 42,907 edits ref Next edit →
Line 3: EFA 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. There are weak fragments of second-order arithmetic called RCA{{su\|p=\|b=0}} and WKL{{su\|p=\|b=0}} that have the same consistency strength as EFA and are conservative over it for Π{{su\|p=0\|b=2}} sentences, which are sometimes studied in [[reverse mathematics]] {{harvtxt\|Simpson\|2009}}. ==Friedman's grand conjecture==

Elementary function arithmetic: Difference between revisions