Searching…
Soare, R. I.: Computability theory and differential geometry. Bull. Symbolic Logic 10,. 457–486(2004) Zbl1085.03033 MR2136634. [Sta65]. Stallings, J.: Homology ...
... computability theory to classify functions over the natural numbers. In this context, the Weihrauch theory of reducibility plays an important role. For an ...
A. S. Marks, Uniformity, universality, and computability theory. J. Math. Log. 17. (2017), no. 1. [40]. A. Marks and S. Unger, Borel circle squaring. Ann. of ...
Dobrinen, Topological Ramsey spaces dense in forcings. In Structure and ran- domness in computability and set theory, edited by D. Cenzer and J. Zapletal, pp. 3 ...
The halting problem. In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an ...
Jun 21, 2019 ... ... computability, is evaluated after applying the projector onto the space of polynomials. Numerical experiments confirm the theory.
May 15, 2007 ... Algorithmic randomness and computability. Rodney G. Downey · DOI ... Representation theory and the cohomology of arithmetic groups. Birgit ...
Jun 1, 2014 ... ... theory. High dimensional problems cannot be solved by traditional ... These have drastically advanced the frontiers of computability for certain ...
since its constructivity is also a kind of computability: thus it can be viewed as ... It is in considering this question that the connection with homotopy theory ...
Jan 26, 2015 ... arbitrary fiber squares as independent squares, and computability on relatively simple spaces, such as toric varieties. In future work, we ...