Ajtai's theorem for T22(R) and pebble games with backtracking. - Eitetsu Ken; Mykyta Narusevych (CoRR, 2024)

An independence of the MIN principle from the PHP principle. - Mykyta Narusevych (CoRR, 2024)