Recent Submissions

  • Deformation Classification of Real Non-Singular Cubic Threefolds with a Marked Line 

    [OWP-2018-02] Finashin, Sergey; Kharlamov, Viatcheslav (Mathematisches Forschungsinstitut Oberwolfach, 2018-02-21)
    We prove that the space of pairs $(X,l)$ formed by a real non-singular cubic hypersurface $X\subset P^4$ with a real line $l\subset X$ has 18 connected components and give for them several quite explicit interpretations. ...
  • Herbrand’s Theorem as Higher Order Recursion 

    [OWP-2018-01] Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. (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 ...