1. Finite Promise Games

Each of the games is finite, predetermined in length, and has two players (Alice and Bob). At each turn, Alice chooses an integer or a number of integers (an offering) and the Bob has to make one of two kinds of promises restricting his future possible moves. In all games, Bob wins if and only if Bob has kept all of his promises.

1.1. Finite Piecewise Linear Copy/Invert Games

Here, [math]\displaystyle{ \Z }[/math] is the set of integers, and [math]\displaystyle{ \N }[/math] is the set of non-negative integers. Here, all letters represent integers. We say that a map [math]\displaystyle{ T: \N^k \rightarrow \N }[/math] is piecewise linear if [math]\displaystyle{ T }[/math] can be defined by various affine functions with integer coefficients on each of finitely many pieces, where each piece is defined by a finite set of linear inequalities with integer coefficients. For some piecewise linear map [math]\displaystyle{ T: \N^k \rightarrow \N }[/math], a [math]\displaystyle{ T }[/math]-inversion of [math]\displaystyle{ x }[/math] is some [math]\displaystyle{ y_1, \ldots, y_k \lt x }[/math] such that [math]\displaystyle{ T(y_1, \ldots, y_k) = x }[/math]. We then define the game [math]\displaystyle{ G(T, n, s) }[/math] for nonzero [math]\displaystyle{ n, s }[/math].

[math]\displaystyle{ G(T, n, s) }[/math] has [math]\displaystyle{ n }[/math] rounds, and alternates between Alice and Bob. At every stage of the game, Alice is required to play [math]\displaystyle{ x \in [0, s] }[/math], called her offering, which is either of the form [math]\displaystyle{ y + z }[/math] or [math]\displaystyle{ w! }[/math], where [math]\displaystyle{ y }[/math] and [math]\displaystyle{ z }[/math] are integers previously played by Bob. Bob is then required to either:

• Accept [math]\displaystyle{ x }[/math], thereby playing [math]\displaystyle{ x }[/math] and promising that there will be no [math]\displaystyle{ T }[/math]-inversion of [math]\displaystyle{ x }[/math] among the integers ever played by Bob. This promise applies to all past, present and future plays in the game.
• Reject [math]\displaystyle{ x }[/math], thereby play a [math]\displaystyle{ T }[/math]-inversion of [math]\displaystyle{ x }[/math] and promising that [math]\displaystyle{ x }[/math] is never played by Bob.

In RCA₀, it can be proven that Bob always has a winning strategy for any given game. The game [math]\displaystyle{ G_m(T, n, s) }[/math] is a modified version where Bob is forced to accept all factorial offers by Alice [math]\displaystyle{ \gt m }[/math]. Bob always has a winning strategy for [math]\displaystyle{ G_m(T, n, s) }[/math] for sufficiently large [math]\displaystyle{ m, s }[/math], although this cannot be proven in any given consistent fragment of [math]\displaystyle{ \mathsf{SMAH} }[/math], and only [math]\displaystyle{ \mathsf{SMAH^+} }[/math]. The function [math]\displaystyle{ FPLCI(a) }[/math] is the smallest [math]\displaystyle{ N }[/math] such that Bob can win [math]\displaystyle{ G_m(T, n, s) }[/math] for any [math]\displaystyle{ (m, T, n, s) }[/math] such that [math]\displaystyle{ m }[/math] and [math]\displaystyle{ s }[/math] are greater than or equal to [math]\displaystyle{ N }[/math] and all the following values are less than [math]\displaystyle{ a }[/math]:

• [math]\displaystyle{ n }[/math]
• [math]\displaystyle{ k }[/math] (the domain of [math]\displaystyle{ T }[/math] is [math]\displaystyle{ \N^k }[/math])
• the number of pieces of [math]\displaystyle{ T }[/math]
• the absolute values of the coefficients of the inequalities in [math]\displaystyle{ T }[/math]
• the absolute values of the coefficients of the affine functions in [math]\displaystyle{ T }[/math]

1.2. Finite Polynomial Copy/Invert Games

Let [math]\displaystyle{ P: \Z^k \rightarrow Z }[/math] be a polynomial with integer coefficients. A special [math]\displaystyle{ P }[/math]-inversion at [math]\displaystyle{ x }[/math] in [math]\displaystyle{ \Z }[/math] consists of [math]\displaystyle{ 0 \lt y_1, \ldots, y_n \lt \frac{x}{2} }[/math] such that [math]\displaystyle{ P(y_1, \ldots, y_n) = x }[/math]. We now define the game [math]\displaystyle{ G(P, Q, n, s) }[/math] for nonzero [math]\displaystyle{ n, s }[/math], where [math]\displaystyle{ P, Q: \Z^k \rightarrow \Z }[/math] are polynomials with integer coefficients. [math]\displaystyle{ G(P, Q, n, s) }[/math] consists of [math]\displaystyle{ n }[/math] alternating plays by Alice and Bob. At every stage of the game, Alice is required to play [math]\displaystyle{ x \in [-s, s] }[/math] of the form [math]\displaystyle{ P(y) }[/math], [math]\displaystyle{ Q(y) }[/math] or [math]\displaystyle{ (z!)! }[/math], where [math]\displaystyle{ y }[/math] is a [math]\displaystyle{ k }[/math]-tuple of integers previously played by Bob. Bob is then required to either:

• Accept [math]\displaystyle{ x }[/math], thereby playing [math]\displaystyle{ x }[/math] and promising that there will be no special [math]\displaystyle{ P }[/math]- or [math]\displaystyle{ Q }[/math]-inversion of [math]\displaystyle{ x }[/math] among the integers ever played by Bob. This promise applies to all past, present and future plays in the game.
• Reject [math]\displaystyle{ x }[/math], thereby playing a special [math]\displaystyle{ P }[/math]- or [math]\displaystyle{ Q }[/math]-inversion of [math]\displaystyle{ x }[/math] and promising that [math]\displaystyle{ x }[/math] is never played by Bob.

Let [math]\displaystyle{ P, Q: \Z^k \rightarrow \Z }[/math] be polynomials with integer coefficients. In RCA₀, it can be proven that Bob always has a winning strategy for any given game. If [math]\displaystyle{ m, s }[/math] are sufficiently large then Bob wins [math]\displaystyle{ G_m(P, Q, n, s) }[/math], which is [math]\displaystyle{ G(P,Q,n,s) }[/math] where Bob is forced to accept all double factorials [math]\displaystyle{ \gt m }[/math] offered by Alice. However, once again, this cannot be proven in any given consistent fragment of [math]\displaystyle{ \mathsf{SMAH} }[/math], and only [math]\displaystyle{ \mathsf{SMAH^+} }[/math]. The function [math]\displaystyle{ FPCI(a) }[/math] is the smallest [math]\displaystyle{ N }[/math] such that Bob can win [math]\displaystyle{ G_m(P, Q, n, s) }[/math] for any [math]\displaystyle{ (m, P, Q, n, s) }[/math] such that [math]\displaystyle{ m }[/math] and [math]\displaystyle{ s }[/math] are greater than or equal to [math]\displaystyle{ N }[/math] and all the following values are less than [math]\displaystyle{ a }[/math]:

• [math]\displaystyle{ n }[/math]
• [math]\displaystyle{ k }[/math] (the domain of the polynomials is [math]\displaystyle{ \Z^k }[/math])
• the degrees of [math]\displaystyle{ P }[/math] and [math]\displaystyle{ Q }[/math]
• the absolute values of the coefficients of [math]\displaystyle{ P }[/math] and [math]\displaystyle{ Q }[/math]

1.3. Finite Linear Copy/Invert Games

We say that [math]\displaystyle{ x, y \in \N^k }[/math] are additively equivalent if and only if [math]\displaystyle{ \sum^{i}_{q=1} x_q = \sum^{j}_{q=1} x_q \implies \sum^{i}_{q=1} y_q = \sum^{j}_{q=1} y_q }[/math]. For nonzero integers [math]\displaystyle{ p, n, s }[/math] and [math]\displaystyle{ v_1, \ldots, v_p \in \N^k }[/math], we define the game [math]\displaystyle{ G(v_1, \ldots, v_p; n, s) }[/math] which consists of [math]\displaystyle{ n }[/math] alternating rounds between Alice and Bob. At every stage of the game, Alice is required to play an integer [math]\displaystyle{ x \in [0, s] }[/math] of the form [math]\displaystyle{ y + z }[/math] or [math]\displaystyle{ w! }[/math], where [math]\displaystyle{ y, z }[/math] are integers previously played by Bob. Bob is then required to either:

• Accept [math]\displaystyle{ x }[/math], thereby playing [math]\displaystyle{ x }[/math] and promising that [math]\displaystyle{ x }[/math] cannot be written as [math]\displaystyle{ \sum^k_{q=1} y_q }[/math], where [math]\displaystyle{ (y_1,\ldots,y_k) }[/math] is additively equivalent to some [math]\displaystyle{ v_j }[/math], and [math]\displaystyle{ y_1, \ldots, y_k }[/math] are integers played by Bob at various times.
• Reject [math]\displaystyle{ x }[/math], thereby playing [math]\displaystyle{ y_1,\ldots,y_k }[/math], where [math]\displaystyle{ x = \sum^k_{q=1} y_q }[/math] and [math]\displaystyle{ (y_1,\ldots,y_k) }[/math] is additively equivalent to some [math]\displaystyle{ v_j }[/math], and promises that [math]\displaystyle{ x }[/math] is never played by Bob.

Let [math]\displaystyle{ v_1, \ldots, v_p \in \N^k }[/math]. In RCA₀, it can be proven that Bob always has a winning strategy for any given game. Let [math]\displaystyle{ v_1, \ldots, v_p \in \N^k }[/math]. If [math]\displaystyle{ m }[/math] is sufficiently large, then Bob wins [math]\displaystyle{ G_m(v_1,\ldots, v_p; n, s) }[/math], where Bob accepts all factorials [math]\displaystyle{ \gt m }[/math] offered by Alice. However, once again, this cannot be proven in any given consistent fragment of [math]\displaystyle{ \mathsf{SMAH} }[/math], and only [math]\displaystyle{ \mathsf{SMAH^+} }[/math]. The function [math]\displaystyle{ FLCI(a) }[/math] is the smallest [math]\displaystyle{ N }[/math] such that Bob can win [math]\displaystyle{ G_m(v_1, \ldots, v_p; n, s) }[/math] for any [math]\displaystyle{ (m, v_1, \ldots, v_p; n, s) }[/math] such that [math]\displaystyle{ m }[/math] is greater than or equal to [math]\displaystyle{ N }[/math], [math]\displaystyle{ n, s }[/math] are positive and all the following values are less than [math]\displaystyle{ a }[/math]:

• [math]\displaystyle{ k }[/math]
• [math]\displaystyle{ p }[/math]
• the number of components of each vector in [math]\displaystyle{ v }[/math]

1.4. Functions

As shown by Friedman, the three functions [math]\displaystyle{ FPLCI(a) }[/math], [math]\displaystyle{ FPCI(a) }[/math] and [math]\displaystyle{ FLCI(a) }[/math] are extremely fast-growing, eventually dominating any functions provably recursive in any consistent fragment of [math]\displaystyle{ \mathsf{SMAH} }[/math] (one of these is ZFC), but they are computable and provably total in [math]\displaystyle{ \mathsf{SMAH^+} }[/math].

2. Greedy Clique Sequences

[math]\displaystyle{ \Q^* }[/math] denotes the set of all tuples of rational numbers. We use subscripts to denote indexes into tuples (starting at 1) and angle brackets to denote concatenation of tuples, e.g. [math]\displaystyle{ \langle (0, 1), (2, 3) \rangle = (0, 1, 2, 3) }[/math]. Given [math]\displaystyle{ a \in \Q^* }[/math], we define the upper shift of [math]\displaystyle{ a }[/math], denoted [math]\displaystyle{ \textrm{us}(a) }[/math] to be the result of adding 1 to all its nonnegative components. Given [math]\displaystyle{ a, b \in \Q^* }[/math], we say that [math]\displaystyle{ a \preceq b \iff \textrm{max}(a) \leq \textrm{max}(b) }[/math] and [math]\displaystyle{ a \prec b \iff \textrm{max}(a) \lt \textrm{max}(b) }[/math]. [math]\displaystyle{ a, b \in \Q^* }[/math] are called order equivalent if and only if they have the same length and for all [math]\displaystyle{ i, j }[/math], [math]\displaystyle{ a_i \lt a_j }[/math] iff [math]\displaystyle{ b_i \lt b_j }[/math]. A set [math]\displaystyle{ E \subseteq \Q^* }[/math] is order invariant iff for all order equivalent [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math], [math]\displaystyle{ x \in E \iff y \in E }[/math].

Let [math]\displaystyle{ H }[/math] be a graph with vertices in [math]\displaystyle{ \Q^* }[/math]. Let [math]\displaystyle{ E }[/math] be the set defined as follows: for every edge [math]\displaystyle{ (x, y) }[/math] in [math]\displaystyle{ H }[/math], their concatenation [math]\displaystyle{ \langle x, y \rangle }[/math] is in [math]\displaystyle{ E }[/math]. Then if [math]\displaystyle{ E }[/math] is order invariant, we say that [math]\displaystyle{ H }[/math] is order invariant. When [math]\displaystyle{ H }[/math] is order invariant, [math]\displaystyle{ H }[/math] has infinite edges. We are given [math]\displaystyle{ k \in \N }[/math], [math]\displaystyle{ S \subseteq \Q^* }[/math], and a simple graph [math]\displaystyle{ G }[/math] (or a digraph in the case of upper shift greedy down clique sequences) with vertices in [math]\displaystyle{ S }[/math]. We define a sequence [math]\displaystyle{ x }[/math] as a nonempty tuple [math]\displaystyle{ (x_1, \ldots, x_n) }[/math] where [math]\displaystyle{ x_i \in S }[/math]. This is not a tuple but rather a tuple of tuples. When [math]\displaystyle{ S = \Q^k }[/math], [math]\displaystyle{ x }[/math] is said to be an upper shift greedy clique sequence in [math]\displaystyle{ \Q^k }[/math] if it satifies the following:

• [math]\displaystyle{ x_1 }[/math] consists only of zeroes.
• Let [math]\displaystyle{ m }[/math] be an integer such that [math]\displaystyle{ 2 \leq 2m \leq k-1 }[/math], or a positive integer if we allow infinite sequences. [math]\displaystyle{ Y = \langle x_1, \ldots, x_{2m-1} \rangle }[/math] and let [math]\displaystyle{ y = (Y_m, \ldots, Y_{m+k-1}) }[/math]. Then, [math]\displaystyle{ x_{2m} \preceq y }[/math], [math]\displaystyle{ (y, x_{2m}) }[/math] is not an edge of [math]\displaystyle{ G }[/math], and [math]\displaystyle{ x_{2m+1} = \textrm{us}(x_{2m}) }[/math].
• [math]\displaystyle{ \{x_2, \ldots, x_n\} }[/math] is a clique in [math]\displaystyle{ G }[/math], i.e. [math]\displaystyle{ G }[/math] contains as an edge every pair of vertices in [math]\displaystyle{ \{x_2, \ldots, x_n\} }[/math].

When [math]\displaystyle{ S = \Q^k }[/math], [math]\displaystyle{ x }[/math] is said to be an upper shift down greedy clique sequence in [math]\displaystyle{ \Q^k }[/math] if it satifies the following:

• [math]\displaystyle{ x_1 }[/math] consists only of zeroes.
• Let [math]\displaystyle{ m }[/math] be an integer such that [math]\displaystyle{ 2 \leq 2m \leq k-1 }[/math], or a positive integer if we allow infinite sequences. [math]\displaystyle{ Y = \langle x_1, \ldots, x_{2m-1} \rangle }[/math] and let [math]\displaystyle{ y = (Y_m, \ldots, Y_{m+k-1}) }[/math]. Then, [math]\displaystyle{ x_{2m} = y }[/math] or [math]\displaystyle{ x_{2m} \prec y }[/math] and [math]\displaystyle{ (y, x_{2m}) }[/math] is not an edge of [math]\displaystyle{ G }[/math]; and [math]\displaystyle{ x_{2m+1} = \textrm{us}(x_{2m}) }[/math].
• [math]\displaystyle{ \{x_2, \ldots, x_n\} }[/math] is a down clique in [math]\displaystyle{ G }[/math], i.e. for all [math]\displaystyle{ f, g \in \{x_2, \ldots, x_n\} }[/math] and [math]\displaystyle{ g \prec f }[/math], [math]\displaystyle{ (f, g) }[/math] is an edge of [math]\displaystyle{ G }[/math].

When [math]\displaystyle{ S = \Q^k \cup \Q^{k+1} }[/math], [math]\displaystyle{ x }[/math] is said to be an extreme upper shift down greedy clique sequence in [math]\displaystyle{ \Q^k \cup \Q^{k+1} }[/math] if it satifies the following:

• [math]\displaystyle{ x_1 }[/math] consists only of zeroes.
• Let [math]\displaystyle{ m }[/math] be an integer such that [math]\displaystyle{ 2 \leq 2m \leq k-1 }[/math], or a positive integer if we allow infinite sequences. [math]\displaystyle{ Y = \langle x_1, \ldots, x_{2m-1} \rangle }[/math] and let [math]\displaystyle{ y = (Y_m, \ldots, Y_{m+k-1}) }[/math]. Then, [math]\displaystyle{ x_{2m} = y }[/math] or [math]\displaystyle{ x_{2m} \prec y }[/math] and [math]\displaystyle{ (y, x_{2m}) }[/math] is not an edge of [math]\displaystyle{ G }[/math]; and [math]\displaystyle{ x_{2m+1} = \textrm{us}(x_{2m}) }[/math].
• If [math]\displaystyle{ x_{2m} \in [0, k]^k }[/math], then [math]\displaystyle{ x_{2m+1} = (k + \frac{1}{2}, \textrm{us}(x_{2m})) }[/math].
• If [math]\displaystyle{ x_{2m} \in \Q^k \smallsetminus [0, k]^k }[/math], then [math]\displaystyle{ x_{2m+1} = \textrm{us}(x_{2m}) }[/math].
• If [math]\displaystyle{ x_{2m} = (k + \frac{1}{2}, z) }[/math] and [math]\displaystyle{ x_{2m} \in \Q^{k+1} }[/math], then [math]\displaystyle{ x_{2m+1} = \textrm{us}^{-1}(z) }[/math]
• [math]\displaystyle{ \{x_2, \ldots, x_n\} }[/math] is a down clique in [math]\displaystyle{ G }[/math]

The thread of [math]\displaystyle{ x }[/math] is a subsequence [math]\displaystyle{ (u_1, \ldots, u_r) \in [1, n] }[/math] defined inductively like so:

• [math]\displaystyle{ u_1 = 1 }[/math]
• [math]\displaystyle{ u_{i+1} = \textrm{max}(j \in [u_i, 2^{u_1}]: x_j \prec x_{u_i}) }[/math]

Given a thread [math]\displaystyle{ u }[/math], we say that is open if [math]\displaystyle{ 2^{u_r} \leq n }[/math]. Using this Harvey Friedman defined three very powerful functions:

• [math]\displaystyle{ USGCS(k) }[/math] is the smallest [math]\displaystyle{ N }[/math] such that every simple, order invariant graph [math]\displaystyle{ G }[/math] has an upper shift greedy clique sequence in [math]\displaystyle{ \Q^k }[/math] of length at most [math]\displaystyle{ N }[/math] with an open thread.
• [math]\displaystyle{ USGDCS(k) }[/math] is the smallest [math]\displaystyle{ N }[/math] such that every order invariant digraph [math]\displaystyle{ G }[/math] has an upper shift greedy down clique sequence in [math]\displaystyle{ \Q^k }[/math] of length at most [math]\displaystyle{ N }[/math] with an open thread.
• [math]\displaystyle{ USGDCS_2(k) }[/math] is the smallest [math]\displaystyle{ N }[/math] such that every order invariant digraph [math]\displaystyle{ G }[/math] has an extreme upper shift greedy down clique sequence in [math]\displaystyle{ \Q^k \cup \Q^{k+1} }[/math] of length at most [math]\displaystyle{ N }[/math] with an open thread.

[math]\displaystyle{ USGCS }[/math] and [math]\displaystyle{ USGDCS }[/math] eventually dominate all functions provably recursive in [math]\displaystyle{ \mathsf{SRP} }[/math], but are themselves provably recursive in [math]\displaystyle{ \mathsf{SRP^+} }[/math]. [math]\displaystyle{ USGDCS_2 }[/math] eventually dominates all functions provably recursive in [math]\displaystyle{ \mathsf{HUGE} }[/math], but is itself provably total in [math]\displaystyle{ \mathsf{HUGE^+} }[/math].

The content is sourced from: https://handwiki.org/wiki/Software:Finite_promise_games_and_greedy_clique_sequences