Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/94a9dcddc312b943ce145ee626b560b09a994138/content/incompleteness/introduction/definitions.tex#L82C61-L83C60
What is the typo:
I believe that it's supposed to be \Sat{N} instead of \Sat{M}. Since the context is talking about the theory of arithmetic, it would make sense to have $\Sat{N}{\Th{TA}}$, where $\Sat{N}$ is the structure corresponding to the standard model of arithmetic. Not sure what $\Sat{M}$ would be referring to.
Proposed correction:
Change M to N in the locations given.
Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/94a9dcddc312b943ce145ee626b560b09a994138/content/incompleteness/introduction/definitions.tex#L82C61-L83C60
What is the typo:$\Sat{N}{\Th{TA}}$ , where $\Sat{N}$ is the structure corresponding to the standard model of arithmetic. Not sure what $\Sat{M}$ would be referring to.
I believe that it's supposed to be \Sat{N} instead of \Sat{M}. Since the context is talking about the theory of arithmetic, it would make sense to have
Proposed correction:
Change M to N in the locations given.