Classifying the complexity of models of arithmetic

David Gonzalez, Mateusz Łełyk, Dino Rossegger +1

We classify the possible Scott complexities for models of Peano arithmetic. We construct models of particular complexities by first giving a complete Scott analysis of colored line…