Peter M. Gerdes: An <i>ω</i>-REA set forming a minimal pair with 0~′. Comput. 9(1): 37-50 (2020)