I have the following candidate: https://arxiv.org/abs/1003.3557Fornasiero - Tame structures and open cores, section 7.4. Notice that in the setting of the article one cannot use diagonalization.
Martin Sleziak
- 4.7k
- 4
- 35
- 40