We distinguish a class of random point processes which we call Giambelli compatible point processes. Our definition was partly inspired by determinantal identities for averages of products and ratios of characteristic polynomials for random matrices found earlier by Fyodorov and Strahov. It is closely related to the classical Giambelli formula for Schur symmetric functions. We show that orthogo...

has cardinality r ≥ 1. Let G be the F-rational points of a simple Chevalley group defined over F. In his thesis, Matsumoto [5] gave a beautiful construction for the metaplectic cover G̃ of G, a central extension of G by μr(F) whose existence is intimately connected with the deep properties of the r-th order Hilbert symbol (·, ·)F : F × × F → μr(F). Metaplectic groups figure prominently in the st...

We consider simply-typed lambda calculus with fixpoint operators. Evaluation of a term gives as a result the Böhm tree of the term. We show that evaluation is compatible with monadic secondorder logic (MSOL). This means that for a fixed finite vocabulary of terms, the MSOL properties of Böhm trees of terms are effectively MSOL properties of terms themselves. Theorems of this kind have been know...

In this paper, sufficient conditions for the existence of common fixed points for a compatible pair of self maps of Gregustype in the framework of convex metric spaces have been obtained. Also, established the existence of common fixed points for a pair of compatible mappings of type (B) and consequently for compatible mappings of type (A). The proved results generalize and extend some of the w...