[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