We provide the first examples of lattices on irreducible buildings that are not residually finite. Assuming that the normal subgroup property holds for them (which is expected) five of the lattices are simple.
Mite et al. (Fri,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: