22 citations · 26 across the 30 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.SG2022
Locally conformally symplectic deformation of Gromov non-squeezing
Yasha Savelyev
We prove one deformation theoretic extension of the Gromov non-squeezing phenomenon to structures, or locally conformally symplectic structures, which suitably generalize bot…
math.LO2022
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…