Proof theory and theoretical computer science. • Structural proof theory ... computability, etc., occur naturally in these non-uniform versions. This ...

Jan 21, 2023 ... The central role of amenability in the theory of bounded cohomology is further elu- cidated by Gromov's mapping theorem [16, 17, 21]. We state ...

The main motivation for this example comes from noncommutative quantum field theory. Because of easy computability, quantum field theory on the Moyal plane is ...

work of Bowen [2] on the ergodic theory of sofic groups to prove Theorem 1.7. ... Rogers, Jr., Theory of recursive functions and effective computability. 2nd ...

The computability of this theoretical uncertainty distribution is demonstrated using oceanic velocity data. How to computationally leverage the obtained theory ...

The participants represented a broad range of topics where Ehrhart quasipolynomials are useful; e.g. combinatorics, representa- tion theory, algebraic geometry, ...

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 ...

computability is not. It would be highly desirable to bridge the gap ... theory and string theory. (We have not yet described explicitly the relevant ...

point of interest for geometric group theory and the theory of TDLC groups. ... Arguably the question for FP2 and FP3 should be easier because computability seems ...