3 papers
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.SG2023
Elliptic curves in lcs manifolds and metric invariants
Yasha Savelyev
We study invariants defined by count of charged, elliptic -holomorphic curves in locally conformally symplectic manifolds. We use this to define -valued deformation…
math.DG2010
Spectral geometry of the group of Hamiltonian symplectomorphisms
Yasha Savelyev
We introduce here a natural functional associated to any : \emph{spectral length functional}, on the space of "generalized paths" in , closel…