- 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 · pp. 457–553. Advanced Computational Engineering.
- journal article file
Computable permutations and word problems
nections between group theory and the theory of computability. Let C denote the group of all computable permutations of N . A basic question is: What can ...
- journal issue
Volume 18, No. 2 (2021)| Oberwolfach Reports | EMS Press
Aug 25, 2022 ... Computability Theory. Vasco BrattkaNoam GreenbergIskander KalimullinMariya Soskova · pp. 1191–1208. Foundations of Bayesian Inference for ...
- 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
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
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
Mathematisches Forschungsinstitut Oberwolfach Mathematical ...
May 23, 2007 ... Computability in Ergodic Theory . ... Computability in Ergodic Theory. Jeremy Avigad. Let T be a measure-preserving transformation of a space ...
- journal article file
Some Descriptive-Set-Theoretical Problems in Complexity Theory
We bring some descriptive-set- theoretical problems into complexity theory. ... Theory of Recursive Functions and Effective-Computability, McGraw-Hill. Book ...
- journal article file
Hardness of embedding simplicial complexes in Rd
Soare, R. I.: Computability theory and differential geometry. Bull. Symbolic Logic 10,. 457–486(2004) Zbl1085.03033 MR2136634. [Sta65]. Stallings, J.: Homology ...
- book chapter
Tameness in geometry and arithmetic: beyond o-minimality | EMS ...
The theory of o-minimal structures provides a powerful framework for the study of geometrically tame structures ... computability results for various ...