Monthly Archives: January 2020

Non-standard Models of Arithmetic 14

Prev TOC Next

MW: Recap: we showed that PAT implies ΦT, where ΦT is the set of all formulas


Now we have to show the converse, that PA+ΦT  implies PAT. But first let’s wave our hands, hopefully shaking off some intuition, like a dog shaking off water.

Continue reading

Leave a comment

Filed under Conversations, Peano Arithmetic