•  15
    On a Class of Figure Reflexives in Romanian: Ion se spală pe m'ini ‘John washes his hands’
    with Alexandra Cornilescu
    In Grant Armstrong & Jonathan E. MacDonald (eds.), Unraveling the complexity of SE, Springer Verlag. pp. 187-218. 2021.
    The aim of the paper is to discuss a class of transitive-prepositional reflexive constructions in Romanian, tied to the sphere of inalienable possession. It is argued that their properties are best explained by the presence of a prepositional phrase, generated as the complement of V, which encodes a figure-ground relation between a possessor and an inalienably possessed object. Transitive variants of these constructions have a thematic Voice head and the reflexive clitic is merged as the figure …Read more
  •  44
    A Proof-Theoretic Bound Extraction Theorem for CAT $$(\kappa )$$ ( κ ) -Spaces
    with U. Kohlenbach
    Studia Logica 105 (3): 611-624. 2017.
    Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT\)-spaces X for \ and establish a new metatheorem that explains specific bound extractions that recently have been achieved in this context as instances of a general logical phenomenon.