Abstract
A bijection between and M is said to be a pairing function with no cycles if any composition of its coordinate functions has no fixed point. We compute here the Grothendieck ring of the pairing function without cycles to be isomorphic to .
Citation
Esther Elbaz. "Grothendieck Ring of the Pairing Function without Cycles." Notre Dame J. Formal Logic 63 (2) 165 - 184, May 2022. https://doi.org/10.1215/00294527-2022-0010
Information