Nov 14, 2012 ... 397–455. Computability Theory. Klaus Ambos-SpiesRodney G. DowneySteffen LemppWolfgang Merkle · DOI 10.4171/OWR/2012/08 · pp. 457–553. Advanced ...
Nov 3, 2016 ... This highly interdisciplinary workshop brought together 51 Mathematicians from. Number Theory, Logic, Algebraic Geometry, Computability, ...
... computable model theory asked whether for a strongly minimal theory with one computable model, every countable model has an arithmetical copy. Relativizing ...
His current research interest is computability theory. Holger Teismann was ... the algebraic, computable, and constructible numbers. While all these ...
A partial function /:Z*^2^ is polynomial time computable if its domain. (denoted by Dom(/)) is in P and if there is a polynomial time bounded Turing machine M ...
Galeotti explained the interest of surreals in descriptive set theory and computable analysis. Lehericy presented his work on asymptotic couples, and Krapp on o ...
Considerations from computability theory [43] tell us that effective Cauchy rates are in general excluded, and one thus looks at an equivalent but ...
Jun 30, 2008 ... ... theory, or compression techniques and encoding in signal and image processing. ... computability for certain problem classes in numerical ...
Soare, R. I.: Computability theory and differential geometry. Bull. Symbolic Logic 10,. 457–486(2004) Zbl1085.03033 MR2136634. [Sta65]. Stallings, J.: Homology ...
Patey,. Milliken's tree theorem and its applications: a computability-theoretic perspective. Mem. Amer. Math. Soc. (to appear). [2]. M. Balko, ...