Recently, Abraham and Delmas constructed the distributions of super-critical Lévy trees truncated at a fixed height by connecting super-critical Lévy trees to (sub)critical Lévy trees via a martingale transformation. A similar relationship also holds for discrete Galton-Watson trees. In this work, using the existing works on the convergence of contour functions of (sub)critical trees, we prove ...

In this paper we generalize work of Amice and Lazard from the early sixties. Amice determined the dual of the space of locally Qp-analytic functions on Zp and showed that it is isomorphic to the ring of rigid functions on the open unit disk over Cp. Lazard showed that this ring has a divisor theory and that the classes of closed, finitely generated, and principal ideals in this ring coincide. W...

Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASP). We show that query answering in this setting is decidable, if the query is finitely recursive (ASP fr). Our proof yields also an effective method for query evaluation. It is done ...

An algebraic structure is finitely related (has finite degree) if its term functions are determined by some finite set of finitary relations. We show that the following finite semigroups are finitely related: commutative semigroups, 3-nilpotent monoids, regular bands, semigroups with a single idempotent, and Clifford semigroups. Further we provide the first example of a semigroup that is not fi...