.

Published in: Rev. Symb. Log. (2023)