Timeline for Computability Theory Notation For Entering A Set At A Stage
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2019 at 3:40 | vote | accept | Peter Gerdes | ||
| Jul 28, 2019 at 3:22 | comment | added | François G. Dorais | [...] Adapting one of Noah's suggestions, $x \searrow_{=s} Y$ would seem very clear to me. | |
| Jul 28, 2019 at 3:11 | comment | added | François G. Dorais | I would instinctively read $x \searrow_s Y$ as "$x$ enters $Y$ by stage $s$" and not "$x$ enters $Y$ at stage $s$". This is probably from the basic idea that when dealing with c.e. sets, statements should not turn from true to false unless it's very clear or very deliberate. | |
| Jul 27, 2019 at 22:16 | answer | added | Noah Schweber | timeline score: 1 | |
| Jul 27, 2019 at 22:13 | history | edited | Peter Gerdes | CC BY-SA 4.0 |
added 12 characters in body
|
| Jul 27, 2019 at 22:09 | comment | added | Peter Gerdes | Ohh yah, well you always use $s$ or $t$ for stages and if you are using indexes you would write $W_{e,s}$. I guess I should have written it that way if I wanted to be really clear..I guess I will change it. I now feel really self-concious about using ellipses for connectives after science friday told me only old people did this. | |
| Jul 27, 2019 at 22:07 | comment | added | Noah Schweber | @PeterGerdes To be fair that does clash a bit with the notation for $W_e:=dom(\varphi_e)$. | |
| Jul 27, 2019 at 21:43 | history | edited | Peter Gerdes | CC BY-SA 4.0 |
added c.e.
|
| Jul 27, 2019 at 21:43 | comment | added | Peter Gerdes | It's an r.e. (aka c.e.) set at stage $s$ of the enumeration. I thought it would be clear from context but I'll clarify that W is a c.e. set. Anyone who can answer the question will then know what $W_s$ refers to. | |
| Jul 27, 2019 at 21:41 | comment | added | Wojowu | What is $W_s{}$? | |
| Jul 27, 2019 at 21:38 | history | asked | Peter Gerdes | CC BY-SA 4.0 |