22 citations · 26 across the 30 of their papers we have counts for
Showing 2024Show all
2 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.AT2024
Hamiltonian elements in algebraic K-theory
Yasha Savelyev
A Hamiltonian bundle (with monotone compact fibers) induces via Floer theory a type of ``bundle of categories'' over , with fiber given…