A formula holds in a generic extension exactly when some condition in the generic filter forces it for names of its parameters.

A generic extension of a transitive model has exactly the same ordinals as its ground model. Rank induction on names bounds every value; transitivity and agreement on membership make ordinalhood absolute.

For a name with finitely many possible values, record which value each condition forces, using an extra marker for undecided conditions. Equal patterns mean that any condition deciding one entry decides all entries with that pattern identically.

If the prescribed gas velocity is itself a free epicyclic motion solution, subtract its two momentum equations from the forced dust epicycle with aerodynamic drag equations. The velocity difference obeys a damped epicycle and decays as $e^{-ϵ\Omega t}$. Therefore dust approaches the gas velocity with identical phase and amplitude for every positive drag rate. At zero drag the difference does not decay, so the late-time limit is nonuniform as drag vanishes. A finite-wavelength inertial-acoustic wave is detuned from the free epicycle; matching its phase and amplitude in the weak-drag limit additionally requires $|\omega -\Omega |\ll ϵ\Omega$. For a gas density wave of frequency $\omega$, the exact radial transfer amplitude isobtained by solving the two dust equations and using $U_y=-i\Omega U_x/(2\omega )$. At $\omega =\Omega$ it is exactly one.

A force-free, torque-free straight rod contributes a particle stresslet tensor $(C{L}^3/3)(\mathbf{p}\cdot E\mathbf{p})\mathbf{pp}$. Its extra viscous dissipation is $(C{L}^3/3)(\mathbf{p}\cdot E\mathbf{p}{)}^2$. In a simple shear flow, $\dot{\theta }=-\gamma {\sin }^2\theta$; the dissipation is greatest along the extensional or compressional axes and vanishes at flow and gradient alignment.

For a flux tube with $B_{\varphi }=\gamma (s/s_0)B_z$, regularity at the axis and cylindrical magnetostatic pressure balance give $B_z(0{)}^2=B_p^2-2{\mu }_{0}p(0)+{\gamma }^2⟨B_z^2⟩$. The flux-tube axial field virial identity and $p\ge 0$ give the bound. A twisted toroidal magnetic field can support a central axial field above the untwisted magnetic pressure limit even though its cross-sectional mean obeys that limit.

For symmetric finite-mass Marangoni spreading on a liquid film, the leading outer profiles are $h=2h_0|x|/x_N$ and $C=(M/x_N)(1-|x|/x_N)$ inside $|x|<x_N$, where $x_N=(6AM{h}_{0}t/\mu {)}^{1/3}$. Outside, $h=h_0$ and $C=0$. The similarity solution follows from $H{\Gamma }^{\prime }=-\eta /3$, $\eta H^{\prime }=H$, $2\int \Gamma d\eta =1$ and $\int (H-1)d\eta =0$. The film reaches height $2h_0$ immediately behind the front, leaving an outer height jump that gravity or surface tension must smooth. These are ideal leading outer profiles, not a description of the microscopic central dry region or the smoothed edge.

The height jump in linear similarity profiles for surfactant spreading is smoothed by surface tension. If $C_x\sim M/x_N^2$ through a region of width $\Delta$, the Marangoni stress flux is $AM{h}_0^2/(\mu x_N^2)$ and the capillary flux is ${\gamma }_0{h}_0^4/(\mu {\Delta }^3)$. Their balance gives $\Delta \sim ({\gamma }_0{h}_0^2{x}_N^2/(AM){)}^{1/3}\propto t^{2/9}$. This estimate assumes gravity is negligible and the smoothing region remains narrow compared with the pool.

When the smoothing width exceeds the capillary length, gravity dominates capillarity. Balancing hydrostatic flux $\rho g{h}_0^4/(\mu \Delta )$ against the Marangoni stress flux gives $\Delta \sim \rho g{h}_0^2{x}_N^2/(AM)\propto t^{2/3}$. The condition is ${\Delta }^2\gg {\gamma }_0/(\rho g)$ in physical units. The smoothing region catches up with the spreading pool at $x_N\sim AM/(\rho g{h}_0^2)$ and $t\sim \mu (AM{)}^2/[(\rho g{)}^3{h}_0^7]$, after which the sharp-front outer similarity solution ceases to apply.

The E-step computes mixture responsibilities ${\tau }_{ij}$ from the old parameters. Put $N_j={\sum }_i{\tau }_{ij}$. The M-step updates ${\pi }_j=N_j/n$, ${\mu }_j={\sum }_i{\tau }_{ij}{y}_i/N_j$ and ${\sigma }^2={\sum }_{i,j}{\tau }_{ij}(y_i-{\mu }_j^{\mathrm{new}}{)}^2/n$. The variance uses new means and old responsibilities. EM likelihood monotonicity guarantees nondecrease of the observed likelihood, not a global optimum.

Residual mixture clustering first removes a fitted covariate-dependent mean and then explores latent groups in the regression residuals. It seeks differences relative to the adjustment rather than raw-response differences. Mixture responsibilities express uncertain membership. The fitted mixture alone does not establish distinct real-world populations, and two-stage residual mixture fitting ignores some adjustment uncertainty.

A mixture regression with shared slopes models $Y_i\mid Z_i=j,x_i\sim N({\alpha }_j+x_i^T\beta ,{\sigma }^2)$ with common slopes and component-specific intercepts. It jointly estimates mean adjustment and latent groups, rather than fitting a mixture to fixed residuals. If both a global intercept and component offsets are included, an identifying constraint is required. Constant weights assume latent membership proportions do not depend on the covariates.

The fast-rate Lasso prediction bound under compatibility implies $\Vert {\hat{\beta }}_S-{\beta }_S^0{\Vert }_1\le (1+c)\lambda s/{\varphi }^2$. Each true coefficient larger in absolute value than this bound has the correct estimated sign. This conclusion alone does not ensure absence of false positives.

For nonempty index sets forming a laminar family of sets, reject an intersection hypothesis when the displayed adjusted value is at most $\alpha$. The inclusion-maximal true sets are disjoint and have total size at most $m$. Any false rejection forces some maximal true $J$ to have $p_J\le \alpha |J|/m$. Validity and the union bound control the familywise error rate by $\alpha$, without independence or a complete closure.

The additive grading assigns ghost number $+1$ to $c$ and $-1$ to $\bar{c}$. Physical observables have ghost number zero. This grading is distinct from spin or the Adjoint representation.

The Grassmann-odd partner of the Faddeev-Popov ghost field in the gauge-fixing determinant representation. In an auxiliary-field BRST symmetry description it obeys $sb=h$, where $h$ is the Nakanishi-Lautrup field. Its ordinary spacetime derivative remains odd, which matters when moving an anticommuting BRST parameter past it.

The exterior square of a direct sum splits into wedges of two vectors from $V$, two from $W$, or one from each. The mixed map sends $v\otimes w$ to $(v,0)\wedge (0,w)$. A combined basis proves it is an isomorphism, and the exterior-power Lie algebra representation proves equivariance for modules. No division by $2$ is used.

For a planar set outside a global solid cone of half-angle $\alpha$, choose $0<{\alpha }_0<\min (\alpha ,\pi /2)$, $\beta =\pi /[2(\pi -{\alpha }_0)]$, and $0<\nu <\beta$. If $\psi$ is the angle from the opposite axis, the Laplacian in polar coordinates givesThe cosine has a positive uniform lower bound outside the original cone. On a bounded set, $\Delta g$ therefore has a positive uniform lower bound as well. The positive function $-g$ is a barrier for the Dirichlet problem. An unbounded set does not receive the same global lower bound from this construction.

A real matrix with at least one simple negative eigenvalue cannot be a matrix exponential of a real matrix: a logarithm would commute with it and preserve each one-dimensional real negative-eigenvalue space, where exponentiation can only produce a positive eigenvalue. In particular $\mathrm{diag}(-2,-1/2)$ belongs to the connected special linear group ${\mathrm{SL}}_2(\mathbb{R})$ but has no real logarithm.

In a complete category that is a locally small category with a coseparator $S$ and all monomorphisms regular, an object $A$ is an exponentiable object exactly when $\mathcal{C}(-\times A,S)$ is a representable functor. A representing object $E$ gives representations $E^I$ for maps into powers $S^I$. An equalizer presentation by powers of a coseparator then constructs a representation for maps into every target. The Yoneda lemma makes these representations functorial and supplies the right adjoint.