Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
203 views

Determinacy and polynomial time degrees

Is there a function $f:2^{<ℕ}→\{0,1\}$ such that for all $X∈{2^ℕ}$ with $X_{2i+1}=f(X_0,...,X_i)$ all hyperarithmetical properties of the polynomial time degree of $X$ are independent of $X$? The ...
Dmytro Taranovsky's user avatar