Timeline for Relation between $\eta$ and $\omega^L_1$
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2020 at 13:33 | history | edited | SSequence | CC BY-SA 4.0 |
Edited to shorten and removed the extra part I added later
|
| Nov 4, 2019 at 12:14 | vote | accept | SSequence | ||
| Nov 4, 2019 at 8:31 | comment | added | SSequence | Deleting previous comment and re-writing it for better clarity. "Quite roughly speaking, in the "EDIT:" I am thinking something similar to the idea of oracle programs with access to instruction of form $U:=Halt(v)$. Here $v$ is a usual ordinal variable. The instruction would give us a $U \subseteq \omega$ which describes which (ordinary) program indexes with just one parameter (which is current value of $v$) and no input halt. I am thinking whether the halting times of these oracle programs (or those similar to these) should be of concern or not." | |
| Nov 4, 2019 at 5:12 | history | edited | SSequence | CC BY-SA 4.0 |
added 2075 characters in body
|
| Nov 4, 2019 at 5:12 | comment | added | SSequence | @JoelDavidHamkins Thanks for answering the question. I have added an optional point (in-case you find it interesting) in the edit. Is there an easy explanation for it? Anyway, I will try to think about it more precisely, and as I mentioned, possibly formulate it as a separate question (in-case I think it can be made precise). | |
| Nov 3, 2019 at 9:26 | comment | added | Joel David Hamkins | Thanks for your edits, which have improved the question. I have posted an updated answer, which I think gets at the issue you want. | |
| Nov 3, 2019 at 2:27 | history | edited | SSequence | CC BY-SA 4.0 |
Made question shorter, Small Corrections, Added a tag
|
| Nov 2, 2019 at 14:50 | history | edited | SSequence | CC BY-SA 4.0 |
deleted 625 characters in body
|
| Nov 2, 2019 at 13:47 | history | edited | SSequence | CC BY-SA 4.0 |
deleted 4438 characters in body
|
| Nov 2, 2019 at 13:45 | comment | added | SSequence | @JoelDavidHamkins Edited to make it as short as possible. | |
| Nov 2, 2019 at 13:44 | comment | added | Joel David Hamkins | Your question will get a much better reception if you edit it, severely, for length. Currently, the post is a confusing mess. You've got part (A), then long part (A), part (B), etc., and in the middle of part (B), you say you've come to your "main question" and make a statement in bold type, but this is not even a question. I stopped reading part way through and just tried to guess what you were asking. Less is more. | |
| Nov 2, 2019 at 13:34 | comment | added | SSequence | @JoelDavidHamkins I have edited to add link to a basic sketch of few lines (as I mentioned in above post), under the heading (B). Even though it is just a rough sketch, hopefully it makes it easier to understand the idea that I have tried to describe in the few paragraphs that follow (under the given heading). | |
| Nov 2, 2019 at 12:57 | history | edited | SSequence | CC BY-SA 4.0 |
added 206 characters in body
|
| Nov 2, 2019 at 5:46 | comment | added | SSequence | @JoelDavidHamkins To add some further clarity, I think I will edit the question (most likely within a day) and upload a document which illustrates the basic structure of what I wrote under the heading (B) (that is, using informal program-like language). This should only be 20--30 lines or so and would make, what I wrote, easier to follow. In particular, it would be easier to follow that the behaviour of $u$ and output cells (due to alterations) on limits shouldn't matter. | |
| Nov 1, 2019 at 23:33 | comment | added | SSequence | You already answered part-(A) in first-half of your answer (meaning its answer should be in positive given your answer). Whatever is under the heading part-(B) specifically, it isn't that long I think (about 700 words or so). | |
| Nov 1, 2019 at 20:58 | comment | added | Joel David Hamkins | Your question is much too long and rambling. Can you edit to focus it on the main point? | |
| Nov 1, 2019 at 18:28 | answer | added | Joel David Hamkins | timeline score: 4 | |
| Nov 1, 2019 at 9:53 | history | asked | SSequence | CC BY-SA 4.0 |