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 ...
The workshop Mathematical Logic: Proof Theory, Constructive Mathematics was held November 12-17, 2023 in a hybrid format due to the Corona pandemic. It had 46 ...
the computability of its word problem [42]. A state of the art on the ... Ergodic Theory Dynam. Systems 44 (2024), no. 5, 1209–1238. Zbl 1546.37026 MR ...
Sep 5, 1999 ... ry, model theory, computability and com- plexity theory, history of 20th-century logic, philosophy, applications of logic to cognitive ...
Sessions: Computability theory [organisers: Steffen Lempp (Madison, WI), Manuel. Lerman (Storrs CT), Andrea Sorbi (Siena)],. Frank Stephan (Heidelberg) ...
We describe some ap- plications to the theory of surfaces and mapping class groups. 1. Introduction. There has recently been a great deal of activity in 3- ...
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.
The participants represented a broad range of topics where Ehrhart quasipolynomials are useful; e.g. combinatorics, representa- tion theory, algebraic geometry, ...
Barbieri, Shift spaces on groups: computability and dynamics. Ph.D ... Ergodic Theory Dynam. Systems 37 (2017), no. 4, 1187–1210. Zbl 1386.37013 MR ...