A semi-infinite horizontal plate at unit height and a floor at zero give a velocity potential strip of height $a$ and an upper unit semicircle in the complex velocity $q$. Their matching half-plane maps give $(1+e^{\pi w/a}{)}^{-1}=((q-1)/(q+1){)}^2$. Along the fluid free boundary put $q=e^{-i\theta }$, $-\pi <\theta <0$. Then $dz/d\theta =-(a/\pi )e^{i\theta }\cot (\theta /2)$ and $y=1-(a/\pi )(\theta +\pi +\sin \theta )$. Its downstream limit is $1-a$, which must equal the downstream depth $a$. Thus the contraction is exactly one half.

A unit-speed free layer turning downward around a reentrant wall corner has complex velocity $q=u-iv$ in the first-quadrant exterior of the unit disc. Upstream $q=1$, downstream $q=i$, and the corner has infinite speed because its fluid angle is $3\pi /2$. Squaring $q$, applying $(s-1)/(s+1)$, and squaring again maps this domain to the upper half-plane with upstream, corner and downstream at $0,1,\infty$. The potential strip map $e^{\pi w}$ has the same normalization, proving the formula. The sign of the turn and the fluid corner angle determine whether the relevant hodograph is an exterior or interior quarter disc.

Outside a target set, first-step analysis for a Markov chain gives $h_i=P_{ii}{h}_i+{\sum }_{j\ne i}{P}_{ij}{h}_j$. Moving the holding term and dividing gives the displayed average over the next distinct state. Thus inserting or removing self-loops preserves eventual hitting probabilities, provided the state is not made absorbing and the relative probabilities of its exits are unchanged. Boundary values are one on the target and zero in closed classes unable to reach it. The waiting time changes, but the sequence of distinct visited states does not.

Let $\varphi$ be a twice continuously differentiable local diffeomorphism, and suppose $\nabla f(\varphi (u_{\ast }))=0$. The chain rule gives the displayed transformation of the Hessian matrix: terms containing second partial derivatives of $\varphi$ are multiplied by first partial derivatives of $f$ and vanish at the critical point. By Sylvester's law of inertia, the numbers of positive, negative and zero eigenvalues are unchanged. Independently of nondegeneracy, the local diffeomorphism preserves the critical point's status as a local minimum, local maximum or saddle point of a scalar function, because it maps neighbourhoods to neighbourhoods.

Each basis $e_1,\dots ,e_n$ of a finite-dimensional complex vector space determines a unique complex inner product making that basis orthonormal. In coordinates it is $⟨{\sum }_i{u}_i{e}_i,{\sum }_i{v}_i{e}_i{⟩}_e={\sum }_i{u}_i\overline{v_i}$, with the first argument linear. The formula is sesquilinear, has conjugate symmetry, and satisfies $⟨v,v{⟩}_e={\sum }_i|v_i{|}^2$, which is positive unless $v=0$. Expanding any inner product in the given basis proves uniqueness. Its codomain is the complex numbers; only its diagonal values are necessarily real. The resulting identification with the dual space is conjugate-linear, not complex-linear.

A Herbrand structure satisfying the specified first-order sentences or first-order clauses.

A witness constant is a fresh constant symbol added to a first-order language so that an existential assertion has a named witness. In a Henkin construction one adds $\exists x\theta (x)\to \theta (c_{\theta })$, with $c_{\theta }$ absent from the previous language. Freshness preserves consistency. Repeating the construction for the successively enlarged languages supplies the witness property used in a term model.

A Henkin theory has named witnesses for its provable existential sentences. In a Henkin construction, fresh constants and the corresponding Henkin witness axioms give this witness property. Completeness or maximal consistency can be imposed in an additional extension step.

The displayed fundamental solution solves $u_t=u_{xx}-cu$ on the real line with a Dirac delta at the initial time. It is the ordinary heat kernel multiplied by $e^{-ct}$, because that factor removes the constant reaction term. Its integral is $e^{-ct}$ and it converges to the Dirac delta as $t\downarrow 0$. Convolution with initial data gives the corresponding solution. For $c>0$ the total mass decays by absorption; for $c<0$ it grows instead.

A logic hazard in which an output intended to remain one briefly falls to zero. In a sum of products, cover every adjacent pair of one-cells in a Karnaugh map with a common product implicant. That term omits the changing input and remains one throughout the transition, holding the OR output high regardless of the other path delays. This argument assumes one input changes at a time and the circuit starts settled.

For a concrete circuit, let $x=\bar{a}\bar{c}$, $y=bc$, $z=\bar{c}d$, $w=y+z$ and $q=x+w$. Give every gate, including each inverter, propagation delay 10 ns. Starting from $a=b=c=d=1$, lower $c$ at time zero. Signal $y$ falls at 10 ns, while $z$ rises only at 20 ns. Their gap passes through the two OR gates, making $q$ fall during 30–40 ns even though its steady-state value remains one.

Adding the two consensus theorem products $\bar{a}b$ and $bd$ preserves the Boolean function and holds the output high across every potentially hazardous single-input transition. The resulting five-term expression factors as $q=bc+(\bar{a}+d)(b+\bar{c})$. When a change of $c$ could leave the output steadily one, $b=1$ and $\bar{a}+d=1$ keep the second product steadily one. In the zero-to-zero case with changing $c$, $b=0$ and $\bar{a}+d=0$ keep both output products zero. Changes of $a,b,d$ use only one polarity each and therefore have no opposite-polarity race. This factored implementation uses three OR gates, two AND gates and two NOT gates, with a 40 ns maximum input-to-output path at the stated delays.

For linear antiplane elasticity with body forces and Dirichlet data proportional to time, uniqueness gives $u(s,t)=tu(s,1)$ at any fixed crack length $s$. The minimized elastic-plus-load potential and its energy release rate scale quadratically. The local Griffith fracture criterion laws are $\dot{\ell }\ge 0$, $G(\ell ,t)\le G_c$ and $\dot{\ell }(G_c-G)=0$, with positive toughness $G_c$.

If $G(s,1)$ is finite and continuous near the initial length, it is bounded there by $M$. Continuity of the crack path keeps it in that neighborhood for a positive interval. Choose the interval short enough that $t^{2}M<G_c$; complementarity then forces zero growth throughout it. This proves a positive initial waiting time without assuming the crack is stationary in advance.

An element $\perp$ of a partially ordered set $P$ is a least element if $\perp \le x$ for every $x\in P$. A least element is unique: two such elements are below each other, so antisymmetry makes them equal.

A grammar derivation that always expands the leftmost remaining nonterminal symbol. In a context-free grammar, each parse tree specifies exactly one leftmost derivation. Two distinct leftmost derivations of the same word therefore prove that the context-free grammar is an ambiguous grammar.

Map propositional letters to arithmetic sentences, map falsity to a refutable sentence, commute with implication and interpret $\square$ by an arithmetical provability predicate. Propositional axioms remain theorems. The K axiom uses the second of the derivability conditions, and the Löb axiom uses the Internal form of Löb's theorem. Modus ponens rule is preserved directly, and the necessitation rule uses the first derivability condition. Induction on a GL proof therefore proves the displayed soundness implication for Peano arithmetic with the stipulated provability predicate.

The Löb axiom gives $\square F\to \square q$. The tautology $q\to F$, necessitated and distributed, gives $\square q\to \square F$. Thus $\square F\leftrightarrow \square q$, and replacing the antecedent in $\square F\to q$ gives exactly $F$. Setting $q=\perp$ produces a negative-provability fixed point, provably equivalent to $\neg \square \perp$.

In Gödel-Löb logic, the one-variable identity $\square C(\top )\leftrightarrow \square C(\square C(\top ))$ solves a boxed equation with a formula omitting its unknown letter. A finite simultaneous system can be solved by elimination. First solve its last equation with the other unknowns treated as parameters, substitute that formula into the preceding equations, and apply induction. Substituting the resulting solutions back into the last formula completes the system. This construction introduces no new parameter letters.

If every occurrence of $p$ in $X(p)$ lies under a box, Gödel-Löb logic has a formula $F$ without $p$, using only the other letters of $X$, satisfying the displayed equivalence. Write $X(p)=H(\square C_1(p),\dots ,\square C_m(p))$ using the outermost boxes that contain $p$, so $H$ has no $p$. Solve $q_i\leftrightarrow \square C_i(H(q_1,\dots ,q_m))$ by simultaneous boxed fixed-point elimination in GL. If the solutions are $Q_i$, then $F=H(Q_1,\dots ,Q_m)$ works by replacement of provably equivalent formulas.

A formula provably equivalent to a boxed formula satisfies $F\to \square F$ in GL. The displayed fixed point then gives both $\square \square F$ and $\square \neg \square F$ under $F$, hence $\square \perp$. Boxed explosion proves the reverse implication. Under arithmetic realization this is a formal inconsistency statement; Sigma-1 soundness excludes its provability, while second incompleteness excludes provability of its negation.