Searching…
Scope: model theory, computability theo- ry, proof theory, logic foundation of com- puter science. Programme committee: Yu. L. Ersdhov. (chair), S. I. Adiyan ...
Note also that the computability of the right coset function allows to ... theory and applications to geometry. Springer, Berlin, 1998. Zbl0997.20500.
[10] John Lott, Index theory for scalar curvature on manifolds with boundary, Proc. ... of computability: Even in the simplest cases, his groups are not ...
serve as a source of stimulating examples in non-commutative ring theory. In [7] we constructed a chain domain with exceptional ideals, whose existence was a.
predictability, computability and stability (PCS) . ... Econometric Theory, 2003. [10] J. Peters, D. Janzing, and B. Schölkopf ...
Mar 1, 2000 ... Besides the history of development of mathematical truth, we mention construc- tivism, computability and algorithms, and set theory and natural ...
At first, I felt more at home in linear algebra because I had a rather algebraic mindset. I also liked to learn about Turing machines, computability, and formal ...
Klein, From Koopman-von Neumann theory to quantum theory, Quantum Stud. Math ... remark, that local optimization by gradients methods requires the computability.
To make this precise one nowadays uses the language of p-adic Hodge theory. ... As for the computability of those decompositions, consider first the case k ...
Barbieri, Shift spaces on groups: computability and dynamics. Ph.D ... Ergodic Theory Dynam. Systems 37 (2017), no. 4, 1187–1210. Zbl 1386.37013 MR ...