Timeline for What is induction up to $\varepsilon_0$?
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31, 2023 at 18:43 | comment | added | Michael Hardy | @TheAmplitwist : I think $\epsilon$ looks too much like $\in. \qquad$ | |
| May 30, 2023 at 17:49 | comment | added | The Amplitwist | @MichaelHardy Why change $\epsilon_0$ to $\varepsilon_0$? | |
| May 30, 2023 at 15:43 | history | edited | Michael Hardy | CC BY-SA 4.0 |
added 12 characters in body; edited tags; edited title
|
| Sep 28, 2019 at 19:44 | answer | added | Thomas Benjamin | timeline score: 2 | |
| Dec 20, 2017 at 13:33 | history | edited | Johannes Hahn | CC BY-SA 3.0 |
Fixed Latex
|
| Dec 20, 2017 at 7:17 | history | edited | Martin Sleziak | CC BY-SA 3.0 |
added (ordinal-numbers) and (transfinite-induction)
|
| Dec 7, 2009 at 16:25 | answer | added | David E Speyer | timeline score: 18 | |
| Dec 7, 2009 at 16:23 | vote | accept | David E Speyer | ||
| Nov 19, 2009 at 14:55 | answer | added | Jason Dyer | timeline score: 1 | |
| Nov 12, 2009 at 2:22 | comment | added | Dan Piponi | Every ordinal under epsilon_0 has a unique Cantor normal form which can then be encoded as a natural. | |
| Nov 11, 2009 at 18:58 | history | edited | Richard Dore |
edited tags
|
|
| Nov 11, 2009 at 18:57 | history | edited | Richard Dore |
edited tags
|
|
| Nov 11, 2009 at 17:18 | answer | added | Ori Gurel-Gurevich | timeline score: 12 | |
| Nov 11, 2009 at 17:14 | answer | added | B S | timeline score: 1 | |
| Nov 11, 2009 at 17:04 | comment | added | Ori Gurel-Gurevich | This reference explains how to encode $\epsilon_0$ into $\omega$. You just split $\omega$ into infinitely many countable sets and embed $S_i$ into the $i$-th set (all in a recursive manner). | |
| Nov 11, 2009 at 16:52 | comment | added | David E Speyer | Maybe, but if it is there I don't understand it. This seems to be explaining how to label trees by ordinals below $\epsilon_0$. I'm trying to figure out how to pack epsilon_0 into positive integers, which are the objects PA is allowed to talk about. | |
| Nov 11, 2009 at 16:40 | comment | added | Jason Dyer | Does what you're looking for start on page 456 of this paper? projecteuclid.org/… | |
| Nov 11, 2009 at 16:02 | history | asked | David E Speyer | CC BY-SA 2.5 |