相关论文: Deductive Nonmonotonic Inference Operations: Antit…

Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values. Small-step and big-step semantics are both…

A representation theorem for non-semibounded Hermitian quadratic forms in terms of a (non-semibounded) self-adjoint operator is proven. The main assumptions are closability of the Hermitian quadratic form, the direct integral structure of…

In this paper we present a result which establishes a connection between the theory of compact operators and the theory of iterated function systems. For a Banach space X, S and T bounded linear operators from X to X such that \parallel S…

For a locally compact group $G$, we show that it is possible to present the class of continuous unitary representations of $G$ as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how…

Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…

We extend the relative index theorem on non-compact manifolds to encompass a wide variety of hypoelliptic differential operators of arbitrary order, demonstrating that the change in index when changing a differential operator locally can be…

The problem of characterizing normed ordered spaces which admit a representation in the algebraic, order and norm sense as a subspace of $C(X)$, the space of all continuous functions on a compact Hausdorff space is a classical problem that…

We prove by means of advanced pseudo-monotonicity methods an abstract existence result for parabolic partial differential equations with $\log$-H\"older continuous variable exponent nonlinearity governed by the symmetric part of a gradient…

For a Tychonoff space $X$, let $C_k(X)$ and $C_p(X)$ be the spaces of real-valued continuous functions $C(X)$ on $X$ endowed with the compact-open topology and the pointwise topology, respectively. If $X$ is compact, the classic result of…

We study operators of the form X+Y where Y has a finite p-th Schatten norm (p<2), and X is self-adjoint and of Hilbert-Schmidt class. Our study is based on new theorems on zero distribution of entire functions of finite order.

We study unitary representations of semidirect products of a compact quantum group with a finite group. We give a classification of all irreducible unitary representations, a description of the conjugate representation of irreducible…

Generalizations of the theorems of Eberlein and Grothendieck on the precompactness of subsets of function spaces are considered: if $X$ is a countably compact space and $C_p(X)$ is a space of continuous functions in the pointwise topology…

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…

In his paper [Concrete representation of abstract $(M)$-spaces. (A characterization of the space of continuous functions.), Ann. of Math., $42 (2)$ ($1941$), $994$--$1024$.], S. Kakutani gave an interesting representation of the closed…

We provide new infinitesimal characterizations for strong invariance of multifunctions in terms of Hamiltonian inequalities and tangent cones. In lieu of the standard local Lipschitzness assumption on the multifunction, we assume a new…

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras…

The algebra $\Psi(M)$ of order zero pseudodifferential operators on a compact manifold $M$ defines a well-known $C^*$-extension of the algebra $C(S^*M)$ of continuous functions on the cospherical bundle $S^*M\subset T^*M$ by the algebra…

In image and audio signal classification, a major problem is to build stable representations that are invariant under rigid motions and, more generally, to small diffeomorphisms. Translation invariant representations of signals in…

In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring $k$, via…