Weihrauch degrees, omniscience principles and weak computability. The Journal of Symbolic Logic, 76(1) (2011) 143–176. [4] Vasco Brattka, Guido Gherardi, and ...

of intertwined perspectives such as numerical simulation, computability theory, computa- tional complexity, or analog computation. The last one understands ...

nitely generated subgroups of C? Partially answering this question involves ideas from the theory of computability such as Turing degrees and truth-table ...

In Section 2, we fix some notation and recall some basic facts on graph theory, group theory, and computability theory on countable sets. In Section 3, we ...

Nov 3, 2016 ... This highly interdisciplinary workshop brought together 51 Mathematicians from. Number Theory, Logic, Algebraic Geometry, Computability, ...

theorem and computability theory. Adv. Math. 444 (2024), article no. 109618 Zbl 07837848. MR 4723965. [5] É. Borel, Contribution à l'analyse arithmétique du ...

His current research interest is computability theory. Holger Teismann was born and educated in Germany. He came to Canada in 1998 to pursue postdoctoral ...

computability and recursion theory), 03F30 (first-order arithmetic and ... found in Ramsey Theory, Graph Theory, well-quasi-order theory and other sub-.

On maximum conservative extensions. Computability, 4(1):57–68, 2015. Page 17. Mathematical Logic: Proof Theory ...

May 23, 2007 ... and Zhong,. N., editors, Fourth International Conference on Computability and Complexity in Analysis,. Electronic Notes in Theoretical Computer ...