Chain Code Picture Systems are Lindenmayer systems over a special alphabet. The strings generated are interpreted as pictures. This leads to Chain Code Picture Languages. In this paper, synchronous deterministic Chain Code Picture Systems (sD0L systems) are studied with respect to the finiteness of their picture languages. First, a hierarchy of abstractions is developed, in which the interpreta...

This paper discusses the property of local finiteness for t-norm monoids and extensions of them. The focus is (i) on t-norm bimonoids, which are of interest in the context of weighted automata, (ii) on those extensions of t-norm monoids which are reducts of t-algebras, i.e. of the basic semantic entities for the (fuzzy) logics of left-continuous and of continuous t-norms, and (iii) on extension...

In the folklore of linear logic, a common intuition is that the structure of finiteness spaces, introduced by Ehrhard, semantically reflects the strong normalization property of cut-elimination. We make this intuition formal in the context of the non-deterministic λ-calculus by introducing a finiteness structure on resource terms, which is such that a λ-term is strongly normalizing iff the supp...

We study the cycle class map from the Chow group in codimension 2 of an arithmetic scheme X (i.e., a regular proper flat scheme over an algebraic integer ring) to its new cohomology theory defined by a candidate, introduced by the second author, of the conjectural étale motivic complex with finite coefficients of Beilinson-Lichtenbaum. The injectivity of its torsion part is deduced from the fin...

In 1939 Coxeter published three infinite families of group presentations. He studied their properties, in particular determining when groups defined by members of the families are infinite and the structure of finite ones. Eight presentations remained for which the finiteness question was unsettled. We show that two of these eight presentations define finite groups (for which we give comprehens...

We calculate the 1-loop effective potential in a supersymmetric model in 5D with S/(Z2 × Z2) orbifold compactification. The procedure of calculation consists of evaluating first the integrals over four-momenta using the dimensional regularization and then the sum over Kaluza-Klein modes using the zeta-regularization. We show that both fermionic and bosonic contributions are separately finite an...

We discuss finiteness/infiniteness of $$\tau $$ -tilting modules over tensor products two symmetric algebras. As an application, we consider block algebras direct finite groups.

We determined the $\tau$-tilting finiteness of Schur algebras over an algebraically closed field arbitrary characteristic, except for a few small cases.

In this note, we propose the modular height of an abelian variety defined over a field of finite type over Q. Moreover, we prove its finiteness property.

This paper discusses the preservation of some stochastic orders between two interdependent series and parallel systems when the survival and distribution functions of all components switch to the exponentiated model. For the series systems, the likelihood ratio, hazard rate, usual, aging faster, aging intensity, convex transform, star, superadditive and dispersive orderings, and for the paralle...