Timeline for "Compactness for computability" - does it ever happen?
Current License: CC BY-SA 4.0
21 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 4 at 0:05 | comment | added | Noah Schweber | @FrançoisG.Dorais Fixed by all automorphisms. (Equivalently, "$\mathcal{L}_{\omega_1,\omega}$-definable.") The point is that this is the hypothesis needed to unambiguously make sense of $R^B$ when $B$ is an isomorphic copy of $A$ but we haven't specified an isomorphism $A\cong B$. | |
| Oct 4 at 0:02 | comment | added | François G. Dorais | Could you clarify precisely what you mean by 'automorphically-fixed`? | |
| Oct 3 at 3:49 | comment | added | Noah Schweber | @FrançoisG.Dorais Fixed, thanks! | |
| Oct 3 at 3:49 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 28 characters in body
|
| Oct 2 at 23:04 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 34 characters in body
|
| S Jan 29 at 1:05 | history | bounty ended | CommunityBot | ||
| S Jan 29 at 1:05 | history | notice removed | CommunityBot | ||
| Jan 21 at 1:58 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 61 characters in body
|
| S Jan 20 at 23:39 | history | bounty started | Noah Schweber | ||
| S Jan 20 at 23:39 | history | notice added | Noah Schweber | Draw attention | |
| Jan 20 at 23:38 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 48 characters in body
|
| Oct 22, 2019 at 3:26 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |
added 39 characters in body
|
| Oct 22, 2019 at 1:37 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 181 characters in body
|
| S Oct 2, 2019 at 18:01 | history | bounty ended | CommunityBot | ||
| S Oct 2, 2019 at 18:01 | history | notice removed | CommunityBot | ||
| Sep 27, 2019 at 5:38 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 111 characters in body
|
| Sep 27, 2019 at 5:12 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 212 characters in body
|
| Sep 24, 2019 at 16:58 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 104 characters in body
|
| S Sep 24, 2019 at 16:47 | history | bounty started | Noah Schweber | ||
| S Sep 24, 2019 at 16:47 | history | notice added | Noah Schweber | Draw attention | |
| Sep 20, 2019 at 17:49 | history | asked | Noah Schweber | CC BY-SA 4.0 |