Exploring Petr Glivicky’s Model Theory of Linear Fragments of Peano Arithmetic 📚

Discover insights into Petr Glivicky's research on the model theory of linear fragments of Peano arithmetic presented at JAF 36. Dive into advanced topics in mathematical logic and arithmetic foundations.