\(\mathbb{T}^\omega\) as a universal domain
the class of ordered pairs of disjoint sets of integers
scientific article; zbMATH DE number 3652304