[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.
We can present the Template more informally as follows:
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
More information about the FOM
mailing list