Super Unique Tarski is in UEOPL
arXiv:2411.05666
Abstract
We define the Super-Unique-Tarski problem, which is a Tarski instance in which all slices are required to have a unique fixed point. We show that Super-Unique-Tarski lies in UEOPL under promise-preserving reductions.