left-cancellative ordinal between infinite and finite ordernals [on hold]

I am trying to prove that for any n,m∈N, ω*2+n=ω*2+m iff n=m.
proving it assuming m=n is easy, cannot prove the other direction

asked Jan 5 at 23:45

Amit Perelman

put on hold as off-topic by Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz 2 days ago

This question appears to be off-topic. The users who voted to close gave this specific reason:

"This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz

If this question can be reworded to fit the rules in the help center, please edit the question.

Have you tried induction on $n$?
– Asaf Karagila♦
Jan 6 at 0:35

how can you do induction on n when you also need to take care of m ?
– Amit Perelman
2 days ago

Prove by induction on $n$ that for all $m$, if $omegacdot 2+n=omegacdot 2+m$, then $n=m$.
– Asaf Karagila♦
2 days ago

ok. will look intp it, thx
– Amit Perelman
2 days ago

add a comment |

I am trying to prove that for any n,m∈N, ω*2+n=ω*2+m iff n=m.
proving it assuming m=n is easy, cannot prove the other direction

asked Jan 5 at 23:45

Amit Perelman

put on hold as off-topic by Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz 2 days ago

This question appears to be off-topic. The users who voted to close gave this specific reason:

"This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz

If this question can be reworded to fit the rules in the help center, please edit the question.

Have you tried induction on $n$?
– Asaf Karagila♦
Jan 6 at 0:35

how can you do induction on n when you also need to take care of m ?
– Amit Perelman
2 days ago

Prove by induction on $n$ that for all $m$, if $omegacdot 2+n=omegacdot 2+m$, then $n=m$.
– Asaf Karagila♦
2 days ago

ok. will look intp it, thx
– Amit Perelman
2 days ago

add a comment |

I am trying to prove that for any n,m∈N, ω*2+n=ω*2+m iff n=m.
proving it assuming m=n is easy, cannot prove the other direction

asked Jan 5 at 23:45

Amit Perelman

I am trying to prove that for any n,m∈N, ω*2+n=ω*2+m iff n=m.
proving it assuming m=n is easy, cannot prove the other direction

set-theory ordinals

asked Jan 5 at 23:45

Amit Perelman

asked Jan 5 at 23:45

Amit Perelman

asked Jan 5 at 23:45

Amit Perelman

asked Jan 5 at 23:45

Amit Perelman

asked Jan 5 at 23:45

Amit Perelman

put on hold as off-topic by Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz 2 days ago

This question appears to be off-topic. The users who voted to close gave this specific reason:

"This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz

If this question can be reworded to fit the rules in the help center, please edit the question.

put on hold as off-topic by Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz 2 days ago

This question appears to be off-topic. The users who voted to close gave this specific reason:

"This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Andrés E. Caicedo, Cesareo, José Carlos Santos, amWhy, A. Pongrácz

If this question can be reworded to fit the rules in the help center, please edit the question.

Have you tried induction on $n$?
– Asaf Karagila♦
Jan 6 at 0:35

how can you do induction on n when you also need to take care of m ?
– Amit Perelman
2 days ago

Prove by induction on $n$ that for all $m$, if $omegacdot 2+n=omegacdot 2+m$, then $n=m$.
– Asaf Karagila♦
2 days ago

ok. will look intp it, thx
– Amit Perelman
2 days ago

add a comment |

Have you tried induction on $n$?
– Asaf Karagila♦
Jan 6 at 0:35

how can you do induction on n when you also need to take care of m ?
– Amit Perelman
2 days ago

Prove by induction on $n$ that for all $m$, if $omegacdot 2+n=omegacdot 2+m$, then $n=m$.
– Asaf Karagila♦
2 days ago

ok. will look intp it, thx
– Amit Perelman
2 days ago

Have you tried induction on $n$?
– Asaf Karagila♦
Jan 6 at 0:35

how can you do induction on n when you also need to take care of m ?
– Amit Perelman
2 days ago

Prove by induction on $n$ that for all $m$, if $omegacdot 2+n=omegacdot 2+m$, then $n=m$.
– Asaf Karagila♦
2 days ago

ok. will look intp it, thx
– Amit Perelman
2 days ago

add a comment |

0

active

oldest

votes

0

active

oldest

votes

0

active

oldest

votes

This page is only for reference, If you need detailed information, please check here

T,3dwe18 YK21HLxD7Yjk1FZSGf0FjrMGlf3Kyafxyl vSE,a WWv7B S MElRx,Xg,axWAFTgMq4yYVhg,Fd

搜尋此網誌

Vtgyjfy