2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.LO2020
Beth Definability in the Logic KR
Jacob Garber
The Beth Definability Property holds for an algebraizable logic if and only if every epimorphism in the corresponding category of algebras is surjective. Using this technique, Urqu…
math.DS2018★ 2 cited
One Hundred and Twelve Point Three Degree Theorem
George Tokarsky, Jacob Garber, Boyan Marinov +1
It has been known since Fagnano in 1775 that an acute triangle always has a periodic billiard path, namely the orthic triangle. It is currently unknown whether every obtuse triangl…