The interpretation of a lambda term in the graph model of lambda calculus is the union of the interpretations of all its finite Böhm approximants. Every finite indexed interpretation reduces monotonically to an indexed normal approximant. Taking the union over all occurrence indices gives one inclusion; replacing subterms by bottom and using beta soundness gives the other. This identifies denotational information with finite observable parts of a Böhm tree.

For differentiable vector fields, expand the cross products using the contraction of two Levi-Civita symbols. The directional-derivative terms cancel the corresponding terms in the two cross products, leaving ${\partial }_i(F_j{G}_j)$. This proves the displayed gradient identity by the product rule.

For a graded vector space $V$, $\mathrm{Sym}(V)$ is the quotient of the tensor algebra by $uv-(-1{)}^{|u||v|}vu$. Over $\mathbb{Q}$ it is polynomial on even-degree basis elements and exterior on odd-degree ones. With each generator primitive, it is a graded cocommutative Hopf algebra. Its primitive subspace is exactly $V$: applying the diagonal to a polynomial of symmetric length greater than one produces mixed terms, or equivalently the polynomial's formal derivatives cannot all vanish in characteristic zero. This is the associated graded algebra in the graded Poincaré–Birkhoff–Witt theorem.

If a good rate function has unique zero mu, every closed set missing mu has strictly positive infimum rate, possibly infinity. Otherwise a sequence of rates tending to zero lies eventually in the compact unit sublevel set; a subsequence converges to a point of the closed set, and lower semicontinuity makes that point another zero. compactness also ensures existence of a zero whenever the infimum is zero.

The Goldstone-boson equivalence theorem reduces high-energy electroweak longitudinal scattering to scalar scattering. Without the radial Higgs boson, a nonlinear sigma-model description gives an amplitude of order $s/v^2$. In the corresponding linear scalar model, the contact and Higgs-exchange terms give, for the charged-to-neutral Goldstone channel,The growing terms cancel, leaving $-m_H^2/v^2$ at high energy. Thus the Higgs mechanism supplies both vector masses and the interactions required for controlled longitudinal scattering. The tree expression is not valid as an unresummed approximation arbitrarily close to the Higgs pole.

This diagonal sentence says that any proof of itself has a no-later proof of its negation. A proof of $R$ contradicts finite verification that no earlier opposite proof exists. A proof of its negation, together with finite verification that no earlier proof of $R$ exists, proves the displayed universal condition and hence $R$. Thus consistency alone excludes both proofs, strengthening the original omega-consistency form of incompleteness.

The Amrita Virtual Lab procedure uses $0.1\mathrm{mol}{\mathrm{L}}^{-1}$ glycine, hydrochloric acid and sodium hydroxide, two burettes, a pH meter, beaker and stirrer. A pipette transfers $20\mathrm{mL}$ of glycine into a $100\mathrm{mL}$ beaker. Calibrate the meter with standard buffer solutions at pH $4$, $7$ and $10$, then record the starting pH. Add hydrochloric acid in $0.3\mathrm{mL}$ increments, recording pH after each addition until $1.6$. Rinse the electrode in distilled water, take a separate fresh $20\mathrm{mL}$ portion, and add sodium hydroxide in $0.3\mathrm{mL}$ increments until pH $12.5$. Its observed readout is paired added volume and pH, plotted as an acid-base titration curve; it does not measure each glycine form directly. ^[ref]

These are two titrations from the starting glycine chemical solution, rather than the single acidified-sample protocol assumed by the solid curve in glycine titration. Retain each portion's initial volume and the signed added acid/base amount of substance; do not concatenate raw burette readings and assume the result begins at $b=0$. For this procedure's $0.00200\mathrm{mol}$ of glycine, each $0.3\mathrm{mL}$ addition supplies $0.000030\mathrm{mol}$ of acid or base, a $0.015$ increment relative to the glycine inventory. This calculated resolution is not a reported measurement.

Useful additional controls are a fresh repeat portion, independently checked acid/base concentrations, a water blank, and a calibration-check buffer solution after the run. Stir without striking the glass electrode, keep its sensing region immersed and wait for stable readings; record temperature and background salts. Reduce addition size near a steep pH change. These are suggested controls for testing the model, beyond the published steps. A water blank can reveal contamination but must not be subtracted directly from pH, which is a logarithm.

The standards at pH $4$, $7$ and $10$ do not bracket either endpoint of this protocol. Extreme readings therefore require independently checked instrument performance, and alkaline samples are sensitive to atmospheric carbon dioxide uptake. Electrode drift, incomplete mixing, volume error, dilution and changing ionic strength can shift apparent pKa values. A titration constrains the acid/base model; it cannot establish chirality or separate every microscopic protonation form. The two original diagrams show calculated predictions to compare with measured points, not reconstructed experimental data.

On a fixed finite horizon, equivalent probability measures have the same semimartingales. For a strictly positive continuous Radon-Nikodym density martingale $Z$ and a continuous local martingale $L$ under the original measure, $L-\int Z^{-1}d[L,Z]$ is a local martingale under the new one, by the Girsanov theorem. Thus the finite-variation part of a continuous semimartingale decomposition changes by the opposite covariation correction.

Under $P$, let $X$ be standard Brownian motion started at zero and let $T$ be its first exit from $(-1,1)$. The Itô formula makesthe stochastic exponential with integrand $X{1}_{[0,T]}$. Since $Z_t\le e^{1/2}$, it is a uniformly integrable martingale and defines $dQ=Z_{T}dP$ on the whole original sigma-algebra. The Girsanov theorem makes $X_t-{\int }_0^{t\wedge T}{X}_{s}ds$ a Brownian motion under $Q$.

At exit, $|X_T|=1$ and ${\int }_0^T{X}_s^{2}ds\le T$, so $e^{1/2-T}\le Z_T\le e^{1/2}$. On $\{T\le t\}$, integrate these likelihood bounds in $Q(T\le t)={\mathbb{E}}_P[Z_T{1}_{\{T\le t\}}]$ to obtainA lower bound on $Z_T=dQ/dP$ gives an upper bound on $P$ in terms of $Q$; reversing that direction gives an invalid comparison.

On each finite horizon the displayed Radon-Nikodym derivative changes Wiener measure into the law of $dX=dB-\mu Xdt$. Stop at coordinate magnitude n so the Novikov condition applies. Under each stopped tilted measure the coordinate solves the drifted equation, and the Gronwall inequality with the Doob L2 maximal inequality bounds its maximal second moment uniformly in n. The probability of reaching n therefore tends to zero; this proves that the unstopped density has expectation one. No unrestricted large-time Novikov estimate is needed.

With the full boundary metric fixed, first variation gives $d_x{d}_g(w)=-⟨v_{\mathrm{in}},w⟩$ and $d_y{d}_g(z)=⟨v_{\mathrm{out}},z⟩$ for tangential endpoint variations. These covectors recover the tangential parts of both unit velocities. Their normal components follow from unit length and the inward/outward sign, so equal boundary distances give equal scattering relations. Without a fixed boundary metric, the bundle identification must first be gauged by a boundary-fixing diffeomorphism.

For $f=1-2M/r$ and squared areal radius $C=r(r-b)$, an equatorial null geodesic obeys ${\dot{r}}^2=E^2[1-B^{2}f/C]$, with impact parameter $B=L/E$. At $b=2M$, $f/C=1/r^2$ in the exterior. Its supremum is $1/(4M^2)$ at the null singular boundary, rather than at a regular exterior photon sphere. Rays with $B>2M$ turn at $r=B$; rays with $B<2M$ reach the boundary. Assuming those rays are absorbed gives the displayed geometric-optics cross-section despite zero limiting horizon area.

The radial direction is orthogonal to the angular directions under the exponential map. On a surface this makes the first fundamental form in geodesic polar coordinateswith $\sqrt{G(r,\theta )}/r\to 1$ as $r\to 0$.

For $r$ smaller than the normal-coordinate radius, the geodesic circle on a Riemannian surface consists of points at distance $r$ from $p$. The exponential map restricted to the radius-$r$ circle in $T_{p}S$ gives its smooth embedded parameterization. Outside the injectivity range a distance sphere need not be smooth.

Before the cut locus, define $A(X)={\nabla }_X{\partial }_r$ on the tangent space of a distance sphere. This is the negative of the shape operator with outward normal under the convention $S=-\nabla \nu$. A nonsingular matrix $Y$ of radial Jacobi fields satisfies $Y^{\prime \prime }+{\mathcal{R}}_{{\partial }_r}Y=0$ and $A=Y^{\prime }{Y}^{-1}$, yielding the displayed matrix Riccati equation. Taking its trace gives $h^{\prime }+\mathrm{tr}(A^2)+\mathrm{Ric}({\partial }_r,{\partial }_r)=0$, where $h=\mathrm{tr}A={\partial }_r\log \det Y$. This is the local differential identity behind the Bishop-Gromov inequality.

A unit-speed curve with $D_t\dot{\gamma }=f(\gamma )i\dot{\gamma }$ defines the magnetic flow. The vertical term rotates the velocity while the horizontal part transports it along the base. Since $V(f\circ \pi )=0$, the divergence of $X+fV$ in Liouville volume vanishes. The associated two-form on the unit tangent bundle is $d\alpha -f{\pi }^{\ast }{\Omega }_a=-{\iota }_F\mu$, whose kernel is the magnetic flow direction.

A smooth real function $\lambda$ on the unit tangent bundle determines this unit-speed smooth flow. Its base velocity is $v$, so its generator never vanishes. In the canonical frame its divergence in Liouville volume of a surface geodesic flow is $V\lambda$. The special case where $\lambda$ depends only on the base is a magnetic flow; when $\lambda (x,v)=⟨E(x),iv⟩$ it is a Gaussian thermostat.

A perpendicular Jacobi field on a Riemannian surface has scalar equation $\ddot{y}+Ky=0$. For strictly negative curvature on a closed manifold, the displayed derivative is uniformly positive definite, so the quadratic-form criterion for an Anosov flow makes the geodesic flow Anosov. When $K=-1$, the stable and unstable lines in the canonical frame are respectively $\mathbb{R}(H-V)$ and $\mathbb{R}(H+V)$, with factors $e^{-t}$ and $e^t$.

For $D=\{d\in R:d^2=0\}$ in the generic local ring, every internal map $D\to R$ has a unique affine expression $d\mapsto a+bd$. At the stage $A$, such maps are elements of $A[\epsilon ]/({\epsilon }^2)$, which is freely $A\oplus A\epsilon$ as an $A$-module. This decomposition is natural under ring maps and proves the isomorphism. Testing only on ordinary fields loses the generic infinitesimal and would give an incorrect uniqueness argument.

Let $I$ be the set of infinite binary sequences and $G={\mathbb{F}}_p^I$ with its product topology. Index the finite binary strings by the positive integers. For each $n$, take the element whose $r$ coordinate is one exactly when the $n$th string is a prefix of $r$. These countably many elements generate a dense subgroup: given finitely many distinct sequences, sufficiently long prefixes distinguish them individually. No finite family generates $G$, so its topological generator number is countable. Every continuous linear functional depends on finitely many coordinates, however, so $H^1(G,{\mathbb{F}}_p)$ has a basis of size $|I|=2^{{\aleph }_0}$. Thus the arbitrary-rank identity is false for unrestricted topological generating sets.