On Batalin-Fradkin-Vilkovisky formalism in the presence of second-class constraints

The Fradkin results on the formulation of the Batalin-Fradkin-Vilkovisky quantization method in the presence of second-class constraints are generalized to the case when the first-class constraints are in the involution only modulo second-class constraints. The corresponding equations are formulated, their general solutions are described, and the physical S-matrix independence of possible arbitrariness in the solutions is proved