Now showing items 1-2 of 2

• #### Exceptional Legendrian Torus Knots ﻿

[OWP-2018-04] (Mathematisches Forschungsinstitut Oberwolfach, 2018-03-21)
We present classification results for exceptional Legendrian realisations of torus knots. These are the first results of that kind for non-trivial topological knot types. Enumeration results of Ding-Li-Zhang concerning ...
• #### Herbrand’s Theorem as Higher Order Recursion ﻿

[OWP-2018-01] (Mathematisches Forschungsinstitut Oberwolfach, 2018-02-19)
We provide a means to compute Herbrand disjunctions directly from sequent calculus proofs with cuts. Our approach associates to a first-order classical proof $\pi \vdash \exists v F$, where $F$ is quantifier free, an ...