Searching…
[3] R. G. Downey, Computability theory and linear orderings. In Handbook of recursive mathe- matics, Vol. 2, pp. 823–976, Stud. Logic Found. Math. 139 ...
The goal of these notes is to explain the relation between CEP and TP, describe the approach to Tsirelson's problem through computability theory, and sketch how ...
The theory of o-minimal structures provides a powerful framework for the study of geometrically tame structures ... computability results for various ...
Arguably, one of the biggest advantages of K-theory is its computability, as there are, for instance, several 6-term exact sequences that are very useful in ...
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 ...
Soare, R. I.: Computability theory and differential geometry. Bull. Symbolic Logic 10,. 457–486(2004) Zbl1085.03033 MR2136634. [Sta65]. Stallings, J.: Homology ...
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 ...
... computability theory to classify functions over the natural numbers. In this context, the Weihrauch theory of reducibility plays an important role. For an ...
Jun 22, 2019 ... ... computability, is evaluated after applying the projector Π∇ onto the space of polynomials. Numerical experiments confirm the theory. Cite ...
Jun 1, 2014 ... ... theory. High dimensional problems cannot be solved by traditional ... These have drastically advanced the frontiers of computability for certain ...