Chiral Lagrangians at finite density

The effective SU(2) chiral Lagrangian with external sources is given in the presence of non-vanishing nucleon densities by calculating the in-medium contributions of the chiral pion-nucleon Lagrangian. As a by product, a relativistic quantum field theory for Fermi many-particle systems at zero temperature is directly derived from relativistic quantum field theory with functional methods.