2 papers
math.LO2026
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…
math.LO2025
Definiteness properties of first-order schemes
Piotr Gruza, Mateusz ÅeÅyk
The paper aims to establish a convenient formal framework for investigating the phenomenon of scheme definiteness, exemplified by first-order internal categoricity as studied by VÃ…