- journal article file
Hydrodynamic and symbolic models of computation with advice
of intertwined perspectives such as numerical simulation, computability theory, computa- tional complexity, or analog computation. The last one understands ...
- journal issue
Volume 9, No. 1 (2012)| Oberwolfach Reports | EMS Press
Nov 14, 2012 ... 397–455. Computability Theory. Klaus Ambos-SpiesRodney G. DowneySteffen LemppWolfgang Merkle · DOI 10.4171/OWR/2012/08 · pp. 457–553. Advanced ...
- journal issue
Volume 18, No. 2 (2021)| Oberwolfach Reports | EMS Press
Aug 25, 2022 ... Computability Theory. Vasco BrattkaNoam GreenbergIskander KalimullinMariya Soskova · DOI 10.4171/OWR/2021/21 · pp. 1191–1208. Foundations of ...
- journal article file
Strongly minimal theories with recursive models
... computable model theory asked whether for a strongly minimal theory with one computable model, every countable model has an arithmetical copy. Relativizing ...
- journal article file
Definability and Decidability Problems in Number Theory
Nov 3, 2016 ... This highly interdisciplinary workshop brought together 51 Mathematicians from. Number Theory, Logic, Algebraic Geometry, Computability, ...
- journal article file
Would real analysis be complete without the fundamental theorem of ...
His current research interest is computability theory. Holger Teismann was ... the algebraic, computable, and constructible numbers. While all these ...
- journal article file
Some Descriptive-Set-Theoretical Problems in Complexity Theory
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 ...
- journal article file
Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields ...
Galeotti explained the interest of surreals in descriptive set theory and computable analysis. Lehericy presented his work on asymptotic couples, and Krapp on o ...
- journal article file
On the finitary content of Dykstra's cyclic projections algorithm
Considerations from computability theory [43] tell us that effective Cauchy rates are in general excluded, and one thus looks at an equivalent but ...
- journal article
Wavelet and Multiscale Methods | EMS Press
Jun 30, 2008 ... ... theory, or compression techniques and encoding in signal and image processing. ... computability for certain problem classes in numerical ...