# [FOM] typo in #287

Harvey Friedman friedman at math.ohio-state.edu
Mon May 22 23:21:34 EDT 2006

```in #287, http://www.cs.nyu.edu/pipermail/fom/2006-May/010568.html

we wrote

TEMPLATE 6. Let alpha(n,t,k,A,B) and beta(n,t,k,A,B) be elementary set terms
in numerical parameters n,t,k, and set parameters A,B. For all n,t >> k >= 1
and strictly dominating order invariant R containedin [1,n]^k x [1,n]^k,
there exists A containedin [1,n]^k such that alpha(n,r,k,A,RA) and
beta(n,r,k,A,RA) are order equivalent.

This should be

TEMPLATE 6. Let alpha(n,t,k,A,B) and beta(n,t,k,A,B) be elementary set terms
in numerical parameters n,t,k, and set parameters A,B. For all n,t >> k >= 1
and strictly dominating order invariant R containedin [1,n]^k x [1,n]^k,
there exists A containedin [1,n]^k such that alpha(n,t,k,A,RA) and
beta(n,t,k,A,RA) are order equivalent.

INFORMAL TEMPLATE. For all n,t >> k >= 1 and strictly dominating order
invariant R containedin [1,n]^k x [1,n]^k, there exists A containedin
[1,n]^k such that two sets simply built from n,t,k,A,RA are order
equivalent.

The idea is that some simple instances of the Template form Pi01 sentences
provably equivalent to Con(MAH) over EFA, and we conjecture that all
instances can be refuted in RCA0 or proved from large cardinals.

Harvey Friedman

```