We propose a canonization scheme for smooth equivalence relations on modulo restriction to -large infinite products. It shows that, given a pair of Borel smooth equivalence relations , on , there is an infinite -large perfect product such that either on , or, for some , the following is true for all : implies , and implies .
Notre Dame J. Formal Logic
61(1):
117-128
(January 2020).
DOI: 10.1215/00294527-2019-0034
ACCESS THE FULL ARTICLE
It is not available for individual sale.
This article is only available to subscribers.
It is not available for individual sale.
It is not available for individual sale.