Follow
Undecidability of the elementary theory of Young--Fibonacci lattice https://arxiv.org/abs/2411.17739 #mathCO #mathLO
Undecidability of the elementary theory of Young--Fibonacci lattice https://arxiv.org/abs/2411.17739 #mathCO #mathLO