Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with genericity
Search options not deleted
user 23648
Questions about notions of genericity in computability theory/descriptive set theory. Not restricted to the 'standard' partial order producing $\alpha$-generics. Use the forcing tag for set-theoretic forcing.
1
vote
0
answers
37
views
Are the $\omega$-generic arithmetic degrees downward closed
A degree is $\alpha$-generic if it has representative that is $\alpha$-generic. Are the $\omega$-generic arithmetic degrees (i.e. the degree structure induced by arithmetic reproducibility) downward …
- 3,029
2
votes
1
answer
119
views
Cite for fact that every r.e. degree bounds a 1-generic
Odifreddi doesn't give a cite (at least in proposition XI.2.10) for the proposition that every non-zero r.e. degree computes a 1-generic. What paper should I cite for this proposition?
- 3,029
0
votes
Accepted
Cite for fact that every r.e. degree bounds a 1-generic
For the benefit of others, I emailed Shore and asked him about it and he told me that while he had assumed when he proved it that it wasn't a novel result he never actually found any earlier proof (mu …
- 3,029
0
votes
1
answer
85
views
Kurtz randomness and supermartingales with infinite *limit*
Suppose you replace the usual success conditions for a supermartingale (lim sup is infinite) with the requirement that the actual limit is infinite, e.g. a supermartingale $B$ succeeds on $X \in 2^\om …
- 63.9k