Related papers: Another characterization of no-iteration distribut…
We extend for the second time the Nonstandard Analysis by adding the left monad closed to the right, and right monad closed to the left, while besides the pierced binad (we introduced in 1998) we add now the unpierced binad - all these in…
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…
Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the…
Among all states on the algebra of non-commutative polynomials, we characterize the ones that have monic orthogonal polynomials. The characterizations involve recursion relations, Hankel-type determinants, and a representation as a joint…
We treat all the bivariate lack-of-memory (BLM) distributions in a unified approach and develop some new general properties of the BLM distributions, including joint moment generating function, product moments and dependence structure.…
Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose…
The resummation of $O(\alpha^{l+1} \ln^{2l} x)$ terms in the evolution kernels of non--singlet combinations of structure functions is investigated for both QED abd QCD. Numerical results are presented for unpolarized and polarized structure…
We deal with the power-law q-distribution functions, so-called q-exponentials in nonextensive statistics. The system considered is a many-body Hamiltonian system with arbitrary interacting potentials. We find that the usual form of…
We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for the multiplicative fragment by Balat and Di Cosmo. This…
We completely characterize $\Delta$- and local subexponentialities of positive-half compound Poisson distributions and extend the characterization on two-sided distributions. Moreover, $\Delta$-subexponentiality of infinitely divisible…
We introduce LAM, a subsystem of IMALL2 with restricted additive rules able to manage duplication linearly, called linear additive rules. LAM is presented as the type assignment system for a calculus endowed with copy constructors, which…
Let G be a connected split reductive group over a complete discrete valuation ring of mixed characteristic. We use the theory of intermediate extensions due to Abe-Caro and arithmetic Beilinson-Bernstein localization to classify irreducible…
We introduce the notion of non commutative truncated polynomial extension of an algebra A. We study two families of these extensions. For the first one we obtain a complete classification and for the second one, which we call upper…
We consider the interplay of duality symmetries and gauged isometries of supergravity models giving N-extended, spontaneously broken supergravity with a no-scale structure. Some examples, motivated by superstring and M-theory…
In this paper, we devise non-distributive relatives of Exactly True Logic (ETL) by Pietz and Riveccio and its dual (NFL) Non-Falsity Logic by Shramko, Zaitsev and Belikov. We consider two pre-orders which are algebraic counterparts of the…
This article is devoted to Kato's Euler system, which is constructed from modular unites, and to its image by the dual exponential map (so called Kato's reciprocity law). The presentation in this article is different form Kato's original…
Two-component second and third-order Burgers type systems with nondiagonal constant matrix of leading order terms are classified for higher symmetries. New symmetry integrable systems with their master symmetries are obtained. Some third…
We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…
Nonclassicality criteria based on intensity moments and derived from the usual matrix approach are compared to those provided by the majorization theory. The majorization theory is shown to give a greater number of more suitable…
In this paper, we generalize the duality between self-dual and Maxwell-Chern-Simons theories for the case of a CPT-even Lorentz-breaking extension of these theories. The duality is demonstrated with use of the gauge embedding procedure,…