Chiral symmetry allows independent flavor rotations of left-handed and right-handed fields. For two massless quark flavors, the non-Abelian chiral transformations form $SU(2{)}_L\times SU(2{)}_R$. The additional vector $U(1)$ symmetry of baryon number acts trivially on the pion field $U$. The low-energy pion field $U\in SU(2)$ transforms as $U\mapsto LU{R}^{†}$. Its derivative Skyrme model terms are invariant under constant $L,R$. A chosen vacuum $U=1$ preserves the diagonal subgroup $L=R$, which acts by conjugation and is the isospin symmetry. An ordinary common nonzero pion mass explicitly breaks the independent left/right symmetry to that vector subgroup; vacuum selection in the massless theory is instead spontaneous symmetry breaking. The singlet axial anomaly is a separate issue and is not part of this two-flavor non-anomalous group.

The additive flavor symmetry quantum number $Y=B+S$ combines baryon number with strangeness. For the $(u,d,s)$ quark triplet its values are $(1/3,1/3,-2/3)$. The Gell-Mann--Nishijima formula is $Q=I_3+Y/2$. This is distinct from the normalization of electroweak hypercharge.

An additive flavor symmetry quantum number: a strange quark has $S=-1$, its antiquark has $S=+1$, and up and down quarks have $S=0$. The strong interaction conserves net strangeness. Together with baryon number, it determines flavor hypercharge $Y=B+S$.

For flavor symmetry acting on $(u,d,s)$, trace-orthonormal Hermitian diagonal generators are $h_1=\mathrm{diag}(1,-1,0)/\sqrt{2}$ and $h_2=\mathrm{diag}(1,1,-2)/\sqrt{6}$. The isospin and flavor hypercharge operators are $I_3=h_1/\sqrt{2}$ and $Y=\sqrt{2/3}{h}_2$. Their multiples by $i$ lie in the compact SU(3) Lie algebra.

The $SU(2)$ flavor symmetry rotating down and strange quarks, with the up quark a singlet. Since down and strange quarks have equal electric charge, the charge operator commutes with all U-spin generators, and every irreducible U-spin multiplet has a common charge. Unequal down- and strange-quark masses break this symmetry.

The first polar sine and cosine harmonics of a circular boundary represent displacements of its centre. A complete translation leaves perimeter and area unchanged, so line tension supplies zero stiffness to these modes. The centre of an unconfined domain has no normalizable positional thermal equilibrium in an infinite plane; recentering the boundary removes this freedom from a shape spectrum.

Robinson arithmetic is a finitely axiomatized first-order theory in the language $0,S,+,\cdot$. Its seven axioms are the universal closures ofThey describe successor, addition and multiplication without an induction schema. Each calculation on particular standard numerals can still be verified: repeated use of the recursion equations proves, for example, $\overline{2}+\overline{3}=\overline{5}$. This finite computational strength is enough for representing computable finite calculations and for the diagonal lemma used in crude incompleteness theorem. Peano arithmetic adds induction for arbitrary arithmetic formulas.^[ref]

An arithmetic theory is sound if all its theorems hold in the standard natural numbers. Arithmetic soundness implies consistency and rules out a proof of the negation of a true sentence. It is a semantic property, distinct from effective axiomatizability.

A structure embedding is an injective map respecting constants and operations and preserving and reflecting relations. Equivalently it preserves all atomic formulas and their negations. It identifies the source with a substructure of the target. An elementary embedding additionally preserves every first-order formula.

For $f\in H^1(\mathbb{R})$, its difference quotient equals $D_{h}f={\int }_0^1{f}^{\prime }(\cdot +\theta h)d\theta$ in L2 space. Thus $\Vert D_{h}f{\Vert }_2\le \Vert f^{\prime }{\Vert }_2$, and translation of a function gives $D_{h}f\to f^{\prime }$ in L2 space. Conversely, bounded difference quotients have a weakly convergent subsequence as $h\to 0$. Against a test function, $\int D_{h}fv\to -\int f{v}^{\prime }$, so that weak limit is the weak derivative of $f$. It lies in L2 space, which is precisely the first-order Sobolev space condition.

The H1 space is the first-order Sobolev space whose elements and first weak derivatives belong to L2 space. It is a Hilbert space with inner product given by the sum of the L2 inner products of the functions and of their first weak derivatives.

On a connected open set, a Sobolev space function with zero weak gradient is constant almost everywhere. Local mollification gives constant smooth representatives on interior balls; overlaps and connectedness identify their constants. Without connectedness, the constant may differ between components. This explains the constant ambiguity in a Neumann Poisson problem.

A first-order term is built recursively from variables and constant symbols by applying function symbols to existing terms. Evaluation in a first-order structure follows the same recursion. An atomic formula applies a relation to terms, or asserts their logical equality.

For coding arithmetic computations, the signature in use is $0,1,+,\times ,<,=$. Bounded remainder tests and polynomial equations use only these symbols. This is a statement about the language: interpretation in the natural numbers does not impose the axioms of a ring.

A signature specifies the sorts, operation symbols with their input and output sorts, and relation symbols with their input sorts. The logical connectives and quantifiers are supplied separately by the chosen logic. This separates the nonlogical vocabulary from the rules defining a coherent theory.

At first order, the transverse drag depends on $g_t+V_1+{\Omega }_{1}x$. Its zero force and torque conditions make this residual orthogonal to $1$ and $x$. Thus $-V_1-{\Omega }_{1}x$ is the linear least-squares projection of the prescribed transverse deformation velocity onto the span of $1$ and $x$. This recasts a force-balance calculation as a projection.

The first-order lateral translation and rotation of a prescribed planar filament are time derivatives of fixed linear spatial averages of its shape. A periodic shape therefore gives zero temporal mean of both quantities. Net laboratory displacement can still arise at second order.

A primitive positive formula is generated from atomic formulas using only logical conjunction and existential quantification. It can be put in the form $\exists \bar{y}{\bigwedge }_j{\theta }_j(\bar{x},\bar{y})$ with each ${\theta }_j$ atomic. The exam terminology tame formula refers to this fragment. Its reduced product transfer needs only filter intersection and upward closure, together with coordinatewise choices of witnesses.

The quantifier rank of a first-order formula is the maximum nesting depth of quantifiers. Atomic formulas have rank zero; negation preserves rank, binary Boolean connectives take the maximum, and either quantifier increases rank by one. It is not the total number of quantifiers.

At NS level $3/2$, the light-cone families are $b_{-3/2}^i|0⟩$, ${\alpha }_{-1}^i{b}_{-1/2}^j|0⟩$, and three distinct $b_{-1/2}$ oscillators. Their dimensions are $8+64+\left(\genfrac{}{}{0ex}{}{8}{3}\right)=128$. All have odd fermion-excitation parity. They assemble into the massive Spin group representations $44+84$, a symmetric traceless tensor and a three-form of Spin(9).