The Goodstein function records the least step at which the Goodstein sequence from a given initial number reaches zero. With the initial step numbered zero, its values on $0,1,2,3$ are $0,1,3,5$. Goodstein's theorem makes this effective termination-time function total.

Replacing every base occurrence by omega in a hereditary base representation gives a Cantor normal form below epsilon zero. Hereditary base change preserves this ordinal expression, and subtraction of one lowers it strictly. The ordinal is a termination measure even when the natural-number value increases.

Every Goodstein sequence reaches zero. Before zero, the ordinal rank of a Goodstein term of each step is strictly smaller than the preceding one. An infinite sequence would contradict well-foundedness of the ordinals below epsilon zero.

For an effectively axiomatized arithmetic theory, a arithmetical provability predicate expresses that a formal proof of the sentence with a specified code exists. If axioms are only enumerated, proof certificates also record finite stages at which their axioms appear. The resulting predicate is arithmetically expressible.

In a primitive recursion, an existential representation of the step function may need a different witness tuple at every time. Code each coordinate of the finite witness array by a separate beta-function code pair. All row witnesses then have bounded remainder quantifiers under the bounded time quantifier, while the finitely many code pairs remain in the outer unrestricted existential block.

For a quasi-compact separated scheme and a global regular function $f$, global sections on $X_f$ are the localization of global sections by $f$. Choose a finite affine open cover. Its intersections are affine, so the sheaf gluing axiom describes global sections as the kernel of the difference map between two finite products of affine coordinate rings. Exactness of localization preserves this kernel, and localization commutes with those finite products. Localizing the same cover gives the claimed isomorphism. This applies before knowing whether $X$ itself is affine.

The two modified Helmholtz adjoint plane waves $v_{\lambda }$ and ${\tilde{v}}_{\lambda }=\overline{v_{\overline{\lambda }}}$ give boundary identities $\mathcal{G}(\lambda )=0$ and $\tilde{\mathcal{G}}(\lambda )=0$. For real solution traces, $\tilde{\mathcal{G}}(\lambda )=\overline{\mathcal{G}(\overline{\lambda })}$. Reality is needed for this conjugation argument; the parametrization separately yields the reciprocal identity $\tilde{\mathcal{G}}(\lambda )=\mathcal{G}(1/\lambda )$.

These are chosen complex values of a spectral parameter for a linear boundary value problem at which a truncated global relation for a linear boundary value problem is enforced. Their directions and magnitudes determine which boundary side and which tangential mode are tested. Suitable row combinations can give much better conditioning than arbitrary raw samples.

For the advection-diffusion equation $u_t=u_{xx}+\alpha u_x$ on $x>0$, the spectral divergence form uses $\omega =k^2-i\alpha k$ and factor $e^{-ikx+\omega t}$. With negative-exponential Half-range Fourier transforms, integration gives the displayed global relation for $\mathrm{Im}k\le 0$. The boundary transform $G_1$ refers to $u_x(0,t)$, the negative of the outward normal derivative.

For $u_{z\bar{z}}={\beta }^{2}u$, pull back its spectral closed differential one-form along each straight side $z=m_j+s{h}_j$. Under counterclockwise traversal and outward normal derivatives $q_j$, the side density is $i{e}^{-i\beta (\lambda z-\bar{z}/\lambda )}[|h_j|q_j+\beta (\lambda h_j+{\bar{h}}_j/\lambda )g_j]$, where $g_j$ is the Dirichlet boundary data. The Generalized Stokes theorem gives the displayed global relation. Clockwise traversal reverses the normal-derivative coefficient; all orientations must be changed consistently.

A boundary trace transformed over a finite time interval using the dispersion relation of a linear partial differential equation. For integrable trace data and a polynomial dispersion function, it is an entire function of the complex spectral parameter. Its growth depends on $\mathrm{Re}\omega (k)$; multiplying by $e^{-\omega (k)t}$ changes the integrand to the causal factor $e^{-\omega (k)(t-s)}$.

Let $C=A^{\ast }{B}_{\alpha }$ with one global dual ball. Its support function is $\alpha \Vert Au{\Vert }_2$, and the proximal operator of a support function gives $u=g-P_{C}g$. The removed component is the convex projection, while the reconstructed image signal is its residual. Projected gradient descent on $\frac{1}{2}\Vert g-A^{\ast }p{\Vert }_2^2$, $p\in B_{\alpha }$, converges for $0<\tau <2/\Vert A{\Vert }^2$.

For the Schmidt-basis Pauli correlation tensor, choose Alice's axes ${\mathbf{e}}_z,{\mathbf{e}}_x$ and Bob's $({\mathbf{e}}_z\pm s{\mathbf{e}}_x)/\sqrt{1+s^2}$. The CHSH inequality expression is $2\sqrt{1+s^2}$. It exceeds two exactly when both Schmidt coefficients are nonzero, reaching $2\sqrt{2}$ for maximal quantum entanglement. A product state gives $s=0$ and saturates rather than violates the inequality.

For a tuned multicritical even Landau potential with leading positive $M^{2n}$ term, $M^2\sim |t{|}^{1/(n-1)}$ and $\xi \sim |t{|}^{-1/2}$. Long-wavelength Gaussian fluctuations in a correlation volume have variance proportional to ${\xi }^{2-D}$. Their ratio to $M^2$ therefore scales as $|t{|}^{(D-2)/2-1/(n-1)}$, vanishing only for $D>2n/(n-1)$. At equality the criterion is marginal, requiring further fluctuation analysis.

At an upper critical dimension, the leading Ginzburg criterion ratio has zero thermal power rather than a negative one. It does not vanish asymptotically, but its magnitude can depend on the coupling. The criterion alone does not establish a power-law divergence or new critical power exponents. Running marginal interactions generally produce logarithmic corrections; the ordinary quartic and tricritical sextic scalar theories are examples.

For a scalar quartic interaction $g{\varphi }^4/4!$, the tadpole relation $R=r_{\Lambda }+(g/2)I_D(R)$ can be subtracted at the critical point. When $I_D(0)$ exists, $A(T-T_C)=R[1+(g/2)J_D(R)]$, with $J_D(R)=\int d^{D}p(2\pi {)}^{-D}/[p^2(p^2+R)]$. This integral is finite as $R\to 0$ only above four dimensions and is logarithmic at four. A self-consistent one-loop relation is not an exact interacting critical-exponent formula.

For every singular infinite cardinal number $\kappa$, the Gimel function has the smallest value permitted by König theorem for cardinal numbers and the exponent: ${\kappa }^{\mathrm{cf}(\kappa )}=\max \{{\kappa }^{+},2^{\mathrm{cf}(\kappa )}\}$. Where $2^{\mathrm{cf}(\kappa )}<\kappa$, this is the singular cardinals hypothesis. The hypothesis imposes no separate successor-power condition on regular cardinals.

The Gimel function determines all infinite cardinal powers. For a regular base, $2^{\kappa }=\gimel (\kappa )$. For a singular base, put $s={\sup }_{\rho <\kappa }{2}^{\rho }$ and $\theta =\mathrm{cf}(\kappa )$; then $2^{\kappa }=s^{\theta }$, which is $s$ if attained below $\kappa$ and $\gimel (s)$ otherwise. After these powers are known, fix an infinite exponent $\lambda$ and recurse on the base. Below $\lambda$ use $2^{\lambda }$; at successors use the Hausdorff formula for cardinal exponentiation. At a limit base greater than $\lambda$, put $a={\sup }_{\rho <\kappa }{\rho }^{\lambda }$. The answer is $a$ if $\mathrm{cf}(\kappa )>\lambda$ or the supremum is attained, and $\gimel (a)$ otherwise. In the nonattained cases, the cofinal-index argument identifies the cofinality of the supremum.

A blocked Gibbs sampler draws groups of coordinates jointly from their full conditional distributions. Each update preserves the joint probability distribution; dependence between blocks can still cause a long mixing time.

Every full-conditional coordinate update satisfies detailed balance with the target distribution. Their systematic ordered composition preserves the target but need not satisfy detailed balance, since compositions of reversible kernels need not be reversible. A fixed-probability random-scan mixture remains reversible.