Tightness and solidity in fragments of Peano Arithmetic

Piotr Gruza, Leszek Aleksander Kołodziejczyk, Mateusz Łełyk

It was shown by Visser that Peano Arithmetic has the property that any two bi-interpretable extensions of it (in the same language) are equivalent. Enayat proposed to refer to this…