Maybe it’s well known to experts, but is there always an embedding $f$ of the standard model of Peano arithmetic into a nonstandard model? By Peano arithmetic I mean its first-order version, with the axiom schema of induction for each formula. I’m stuck at the step how to show $f$ is well defined. We can […]

It is easy to come up with objects that do not satisfy the Peano axioms. For example, let $\Bbb{S} = \Bbb N \cup \{Z\}$, and $SZ = S0$. Then this clearly violates the axiom that says that $Sa=Sb\to a = b$, unless we agree that $Z=0$, in which case what we have is exactly the […]

Gödel’s second incompleteness applies, for instance, to r.e. extensions of PA. I am wondering if it applies more generally to arithmetically definable extensions of PA. I see that there is a complete consistent $\Sigma^0_2$ extension of PA. Said theory therefore contains either the sentence “I am consistent” or “I am inconsistent”. However, just because it’s […]

This might be an easy question, but I still struggle to comprehend non-standard models for Peano axioms. I understand that Godel Theorem tells us that the theory defined by Peano axioms is not complete and therefore there exist propositions which are not provable with Peano axioms. So my question is how do we construct or […]

Intereting Posts

Trying to understand the slick proof about the dual space
How many ways can four letters abcd be arranged such that a always comes before b and c always comes before d?
A 4×4 homogeneous matrix for a 90 degree rotation about Y axis?
Power (Laurent) Series of $\coth(x)$
Permutations with no two adjacent numbers being equal
n th derivative of complex exponential
Balanced Incomplete Block Design for magazine editor
How prove this$\sum_{i=0}^{m-1}\binom{n-1+i}{i}x^ny^i+\sum_{j=0}^{n-1}\binom{m-1+j}{j}x^my^j=1$
Positive definiteness of the matrix $A+B$
Constructing a set with exactly three limit points
Intuitive bernoulli numbers
Rounding Percentages
Complexity classes and number of problems
Operators with compact resolvent
Axiom of Regularity