prove that [tex]\epsilon_0[/tex] is an [tex]\epsilon[/tex] number and that it's the smallest number.(adsbygoogle = window.adsbygoogle || []).push({});

[tex]\epsilon_0=\lim_{n<\omega}\phi(n)[/tex]

[tex]\phi(n)=\omega^{\omega^{\omega^{...^{\omega}}}}[/tex] where [tex]\omega[/tex] appears n times.

an epsilon number is a number which satisfies the equation [tex]\omega^{\epsilon}=\epsilon[/tex].

for the first part of proving that it's an epsilon number i used the fact that [tex]1+\omega=\omega[/tex], for the second part im not sure i understand how to prove it:

i mean if we assume there's a number smaller than [tex]\epsilon_0[/tex] that satisfy that it's an epsilon number, then [tex]\omega^{\epsilon^{'}}=\epsilon^{'}<\epsilon_0=\omega^{\epsilon_0}[/tex]

i know that there exists a unique ordinal such that [tex]\epsilon_0=\epsilon^{'}+\alpha[/tex]

if [tex]\alpha[/tex] is a finite ordinal then [tex]\epsilon_0=\epsilon^{'}[/tex] and it's a contradiction, but how to prove it when alpha isnt a finite ordinal?

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Ordinals-proof help

Loading...

Similar Threads for Ordinals proof help | Date |
---|---|

A Measures of Center/Spread in Categorical/Ordinal | Jan 16, 2018 |

A Simmons notation for transfinite ordinals | Jan 12, 2018 |

I Recursive Ordinals and Creativity | Dec 14, 2017 |

A How can we construct ordinals after large Veblen? | Dec 11, 2017 |

Proof theoretic ordinal of zfc, and other formal systems | Jun 27, 2009 |

**Physics Forums - The Fusion of Science and Community**