A variant of Brauers induction method is developed. It is shown that quartic p-adic forms with at least 9127 variables have non-trivial zeros, for every p. For odd p considerably fewer variables are needed. There are also subsidiary new results concerning quintic forms, and systems of forms.
It is shown that a system of $r$ quadratic forms over a ${mathfrak p}$-adic field has a non-trivial common zero as soon as the number of variables exceeds $4r$, providing that the residue class field has cardinality at least $(2r)^r$.