All Questions
Tagged with well-orders peano-axioms
7
questions
0
votes
2
answers
38
views
Confusion about the validity of the proof of Trichotomy of order for natural numbers in Tao's Analysis
It's well-known that in Tao's Analysis I P28, he provides a provement of Trichotomy of order for natural numbers as follows.
Denote the number of correct propositions among the three (i.e. $a<b,\ ...
2
votes
2
answers
80
views
Does every well-ordered set obeying the non-induction Peano axioms have a well-ordering compatible with the successor operation?
Let $N$ be a well-ordered set together with a unary operation $s$ that obeys the following axioms (they are just the Peano axioms without induction):
$0 \in N$
for each $n \in N$ we have $s(n) \in N$
...
0
votes
2
answers
219
views
What is the definition of the "order" of well order property in Peano Axioms?
For Peano Axiom, mathematical induction is equivalent to well order property.
But in well order property, what is the definition of "order"?
In detail, if we define the "order" $b\...
0
votes
1
answer
100
views
Prove strict well-order from Peano successor function
Is there a way to prove from (a variation) of the Peano successor function without induction that < is a strict well-order? Specifically, let $m\leftarrowtail n$ represent that $n$ is the successor ...
1
vote
0
answers
60
views
Proving Natural Predecessor existence using Well Order
I know that the Principle of Induction is equivalent to Well Order at least in Natural Numbers, but I have seen that the demonstration of Induction using Well Order uses the existence of Predecessor:
...
0
votes
1
answer
383
views
Defining the Order of the Natural Numbers
Is there a way to give the regular partial order of the natural number directly from their definition through the Infinity Axiom? I have only ever seen the partial order of the natural number to be ...
0
votes
1
answer
420
views
Proving well ordering principle from PMI (PCI) from peano axioms
Axiomatically, set $\mathbb{N}$ is constructed via injective function $s:\mathbb{N}\rightarrow \mathbb{N}$ and an element $1\in\mathbb{N}$ and we have that $\forall n\in\mathbb{N}:s(n)\neq1$. Together ...