Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.

Schiller und das Wiener Burgtheater. Don Karlos-Inszenierungen 1938 und 1955 als Beispiele

Der Beitrag untersucht anhand der Rezeption von zwei exemplarischen Don Karlos-Inszenierungen, die beide in politisch markanten Jahren der österreichischen Geschichte ihre Premiere erlebten, die Funktionalisierung der Institution Burgtheater in Verbindung mit der Funktionalisierung des Dramatikers Friedrich Schiller für eben diese Institution. Eine Neueinstudierung erfolgte 1938, dem Jahr von Österreichs ‚Anschluss’ an Nazi-Deutschland, die andere 1955, dem Jahr der Unterzeichnung des Österreichischen Staatsvertrages. Beide Don Karlos-Inszenierungen fanden als spezifische Festvorstellungen im Rahmen von Feierlichkeiten rund um die Institution Burgtheater statt. Diente 1938 Schillers Don Karlos dazu, als ‚Schlüsselstück’ der ‚nationalsozialistischen Revolution’ einen politisch-gesellschaftlichen Aufbruch zu markieren, so wurde 1955 die Inszenierung des Dramas zum Triumph einer Schauspielerelite, deren Können sich in die konstruierte Tradition eines k.k. ‚Schauspieleradels’ einreihte. Während 1938 der ‚nationale Dichter’ dem ‚heimgekehrten’ Nationaltheater zum ästhetischen ‚Anschluss’ verhalf, diente der ‚überzeitliche’ Klassiker 1955 dazu, eine ästhetische ‚Wiedergeburt’ zu behaupten, die dem restaurativen Kunst- und Kulturbegriff Nachkriegsösterreichs verpflichtet war.

Limit theorems for nondegenerate U-statistics of continuous semimartingales

This paper presents the asymptotic theory for nondegenerate U-statistics of high frequency observations of continuous Itô semimartingales. We prove uniform convergence in probability and show a functional stable central limit theorem for the standardized version of the U-statistic. The limiting process in the central limit theorem turns out to be conditionally Gaussian with mean zero. Finally, we indicate potential statistical applications of our probabilistic results.