New posts in Peano Arithmetic

The inconsistency of Graham Arithmetics plus $ \forall n, n < g_{64}$

Interpreting proper elementarily equivalent end extensions?

Are all generalized Scott sets realized as generalized standard systems?

On models of $Th_{\Pi_2}(PA)$

Is every true statement independent of $PA$ equivalent to some consistency statement?

Is factorial definable using a $\Delta_0$ formula?

What arithmetic information is contained in the algebraic K-theory of the integers

Can FPA really prove its consistency?

Parameters in arithmetic induction axiom schemas

Set theory inside arithmetics via the Ackermann yoga