Formulas on the lattice of fuzzy subalgebras in universal algebra (Q2372304)

The transfer principle is studied. The notions of transferable form and strict-transferable form of open formulas are introduced and it is proved that the transfer principle holds both for universal sentences whose matrices are of the former type and existential sentences whose matrices are of the latter type, giving the equivalence for every abstract algebra. In order to study when a given general sentence satisfies the principle, the Skolem normal form is examined.