We show a direct relation between the singular point analysis and the symmetry for ordinary differential equations. It is proved that a system with a meromorphic solution allows Laurent solutions depending on m arbitrary parameters if it has m independent symmetries, regardless of the existence of single-valued first integrals. Applying the result to Hamiltonian systems, we show a pairing prope...

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field M of meromorphic functions on K in the language L z of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation ‘‘the function x takes the value 0 at 0’’. Consequently, we prov...

The physical “continuum” is being modeled as a complex of events interconnected by the relation of extension and forming an abstract partially ordered structure. Operational physical procedures for discerning observable events assume their existence and validity locally, by coordinatizing the informational content of those observable events in terms of real-valued local observables. The localiz...

In [1] the authors considered finitely-valued modal logics with Kripke style semantics where both propositions and the accessibility relation are valued over a finite residuated lattice. Unfortunately, the necessity operator does not satisfy in general the normality axiom (K). In this paper we focus on the case of finite chains, and we consider a different approach based on introducing a multim...

The purpose of this article is to develop the notions of amenabilityfor vector valued group algebras. We prove that L1(G, A) is approximatelyweakly amenable where A is a unital separable Banach algebra. We givenecessary and sufficient conditions for the existence of a left invariant meanon L∞(G, A∗), LUC(G, A∗), WAP(G, A∗) and C0(G, A∗).

We prove L p $L^{p}$ -boundedness of variational Carleson operators for functions valued in intermediate UMD spaces. This provides quantitative information on the rate convergence partial Fourier integrals vector-valued functions. Our proof relies bounds wave packet embeddings into outer Lebesgue spaces time-frequency-scale space R + 3 $\mathbb {R}^{3}_{+}$ , which are focus this paper.

The aim of this paper is to develop a conjugate duality theory for convex set–valued maps. The basic idea is to understand a convex set–valued map as a function with values in the space of closed convex subsets of R. The usual inclusion of sets provides a natural ordering relation in this space. Infimum and supremum with respect to this ordering relation can be expressed with aid of union and i...

Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bi...