The semiring variety generated by any finite number of finite fields and distributive lattices

In this paper we study the semiring variety V generated by any finite number of finite fields F1,..., Fk and two-element distributive lattice B2, i.e., V = HSP{B2, F1,..., Fk}. It is proved that V is hereditarily finitely based, and that, up to isomorphism, the two-element distributive lattice B2 and all subfields of F1,..., Fk are the only subdirectly irreducible semirings in V.