Search

Your search keyword '"Barmpalias, George"' showing total 19 results

Search Constraints

Start Over You searched for: Author "Barmpalias, George" Remove constraint Author: "Barmpalias, George" Topic mathematics - logic Remove constraint Topic: mathematics - logic
19 results on '"Barmpalias, George"'

Search Results

1. Computable one-way functions on the reals

2. Dimensionality and randomness

3. Compression of enumerations and gain

4. Growth and irreducibility in path-incompressible trees

5. Randomness below complete theories of arithmetic

6. Aspects of Muchnik's paradox in restricted betting

7. Irreducibility of enumerable betting strategies

8. G\'acs-Ku\v{c}era's Theorem Revisited by Levin

9. Pathwise-random trees and models of second-order arithmetic

10. Monotonous betting strategies in warped casinos

11. Equivalences between learning of data and probability distributions, and their applications

12. Aspects of Chaitin's Omega

13. Limits of the Kucera-Gacs coding method

14. On the existence of a strong minimal pair

15. A note on the differences of computably enumerable reals

16. Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega

17. Kolmogorov complexity and computably enumerable sets

18. The typical Turing degree

19. Universal computably enumerable sets and initial segment prefix-free complexity

Catalog

Books, media, physical & digital resources