The main ideas of this paper came to the fore during the Trends in. Proof Theory workshop in February 2024 at TU Vienna. ... Computability. 11 (2022), no. 1 ...

Barbieri, Shift spaces on groups: computability and dynamics. Ph.D ... Ergodic Theory Dynam. Systems 37 (2017), no. 4, 1187–1210. Zbl 1386.37013 MR ...

Computability of maximum entropy distributions and counting problems 2915 ... Theory of Computing, 7(1):27–43, 2011. [3] Noga Alon. Independence numbers ...

When this K-theory class is that of a higher rho invariant of an invertible differential operator, we show this pairing is precisely the aforementioned higher ...

Tools from real algebraic geometry are very well suited for studying computability and complexity questions. For example Annie Raymond spoke about the unde-.

In: Proceedings of the 5th Johns. Hopkins Workshop on Current Problems in Particle Theory: Unified Field Theories and ... defined notion of non-computability ...

theory nor a Sobolev space theory suitable for studying the ¯∂-Neumann problem ... norms provide a balance between computability (derivatives are only with.

These homology theories incorporate the action of ι, a homotopy involution on the Heegaard Floer complex obtained by modify- ing Heegaard diagrams for the 3- ...

Since the introduction of the invariants, many results have been found towards their computability ... we get the homology theory bHF.G/, over the base ring F.