Showing 2024Show all
3 papers · 1 filter
math.LO2024
Incompleteness theorems via Turing category
Yasha Savelyev
We give a reframing of Godel's first and second incompleteness theorems that applies even to some undefinable theories of arithmetic. The usual Hilbert-Bernays provability conditio…
math.LO2024
Incompleteness for stably computable formal systems
Yasha Savelyev
We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of Gödel. A typical stably computably enumerable set is…
math.DG2024
Untwisted Gromov-Witten invariants of Riemann-Finsler manifolds
Yasha Savelyev
We define a -valued deformation invariant of certain complete Riemann-Finsler manifolds, in particular of complete Riemannian manifolds with non positive sectional curv…