相关论文: On tolerances representable as $R \circ R^-$

Let a ``complex probability'' be a normalizable complex distribution $P(x)$ defined on $\R^D$. A real and positive probability distribution $p(z)$, defined on the complex plane $\C^D$, is said to be a positive representation of $P(x)$ if…

Proof systems for the Relativized Propositional Calculus are defined and compared.

We extend the scope of noncommutative geometry by generalizing the construction of the noncommutative algebra of a quotient space to situations in which one is no longer dealing with an equivalence relation. For these so-called tolerance…

We introduce a class of monotone $\sigma$-complete effect algebras, called representable, which are $\sigma$-homomorphic images of a class of monotone $\sigma$-complete effect algebras of functions taking values in the interval $[0,1]$ and…

We give a counterexample to the proof in the literature [K-Theory 25 (2002), 215-231] of the existence of linear representatives of higher Chow groups of number fields.

We prove a criterion for the irreducibility of an integral group representation \rho over the fraction field of a noetherian domain R in terms of suitably defined reductions of \rho at prime ideals of R. As applications, we give…

In this paper we construct examples of irrational behavior of multiplicities and mixed multiplicities of divisorial filtrations. The construction makes essential use of anti-positive intersection products.

We begin the study of the representation theory of the infinite Temperley-Lieb algebra. We fully classify its finite dimensional representations, then introduce infinite link state representations and classify when they are irreducible or…

We introduce the class of projective reflection groups which includes all complex reflection groups. We show that several aspects involving the combinatorics and the representation theory of all non exceptional irreducible complex…

We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension), we prove density of compressible types. Using this, we…

There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these…

We derive some equalities for relations on the algebra A, under the assumption that every subalgebra of A $\times$ A is congruence modular.

Isotopic pairs and their representations are considered in a general framework of the vector superalgebra. Numerous examples of finite-dimensional and infinite-dimensional isotopic pairs are discussed. Several types of their representations…

A reaction--diffusion replicator equation is studied. A novel method to apply the principle of global regulation is used to write down the model with explicit spatial structure. Properties of stationary solutions together with their…

We study $\Sigma^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".

The goal of this paper is to consider some relations between varieties of representations of groups and varieties of associative algebras. The main emphasis is put on the varieties of representations of groups induced by the varieties of…

Control systems should enforce a desired property for both expected modeled situations as well as unexpected unmodeled environmental situations. Existing methods focus on designing controllers to enforce the desired property only when the…

We describe those unipotent representations of a finite group of Lie type which are defined over the rational numbers.

We develop a semigroup approach to representation theory for pro-Lie groups satisfying suitable amenability conditions. As an application of our approach, we establish a one-to-one correspondence between equivalence classes of unitary…

Contrastive explanations clarify why an event occurred in contrast to another. They are more inherently intuitive to humans to both produce and comprehend. We propose a methodology to produce contrastive explanations for classification…