Phonological ganging is a type of cumulativity in constraint interaction where one strong constraint C1 can be overtaken by two weaker constraints C2 and C3 together but not by C2 or C3 independently (e.g., Jäger and Rosenbach 2006). In strict-ranking Optimality Theory (OT), phonological ganging is achieved via (local) constraint conjunction (e.g., Smolensky 1993, 2006; Baković 2000; Ito and Me...

The analytic signal of a real signal is a standard concept in 1D signal processing. However, the deenition of an analytic signal for real 2D signals is not possible by a straightforward extension of the 1D deenition. There rather occur several diierent approaches in the literature. We review the main approaches and propose a new deenition which is based on the recently introduced quaternionic F...

We consider a labelled tableau presentation of constant domain rst-order S5 and prove a strong cut-elimination theorem.

In this paper, we derive an analytic representation of the eigenvectors and coefficients for in-plane rotated images. This, on the one hand, allows an efficient PCA-basis calculation in the learning stage and on the other hand a direct computation of the rotation angle in the recognition stage. In the experimental section, we demonstrate that the new method is feasible and the recognition and o...

Analytic surgery, as defined in [9] and [6], is a one-parameter metric deformation of a Riemannian manifold M , which stretches M across a separating hypersurface H in a cylindrical fashion; the singular limit is a complete manifold with asymptotically cylindrical ends, M . In this paper, the analysis of [9] and [6] is used to study the behaviour of analytic torsion of unitary representations u...

One of the questions frequently asked nowadays about model theory is whether it is still logic. The reason for asking the question is mainly that more and more of model theoretic research focuses on concrete mathematical fields, uses extensively their tools and attacks their inner problems. Nevertheless the logical roots in the case of model theoretic geometric stability theory are not only cle...