Related papers: Hypothesis Elimination in Kleene Semirings
Let $A$ denote an affine algebra over an algebraically closed field $k$, with $\dim A=d\geq 3$. In the light of availability of cancellation theorems for stably free modules $P$ with $rank(P)=d-1$ (corank one), we try to implement the…
We describe a geometric-combinatorial algorithm that allows one, using solely the system of weights and roots, to determine the Hesselink strata of the null-cone of a linear representation of a reductive algebraic group and calculate their…
For a reduced hyperplane arrangement we prove the analytic Twisted Logarithmic Comparison Theorem, subject to mild combinatorial arithmetic conditions on the weights defining the twist. This gives a quasi-isomorphism between the twisted…
We use axioms of abstract ternary relations to define the notion of a free amalgamation theory. These form a subclass of first-order theories, without the strict order property, encompassing many prominent examples of countable structures…
Kleene Algebra (KA) is a useful tool for proving that two programs are equivalent. Because KA's equational theory is decidable, it integrates well with interactive theorem provers. This raises the question: which equations can we (not)…
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The algebra yields a unified framework containing nondeterminism, concurrency and probability and is sound with respect to the set of…
We propose a new class of algebraic structure named as \emph{$(m,n)$-semihyperring} which is a generalization of usual \emph{semihyperring}. We define the basic properties of $(m,n)$-semihyperring like identity elements, weak distributive…
Convex semilattices are algebras that are at the same time a convex algebra and a semilattice, together with a distributivity axiom. These algebras have attracted some attention in the last years as suitable algebras for probability and…
In general relativity without a cosmological constant, a classical theorem due to Hawking states that stationary black holes must be topologically spherical. This result is one of the several ingredients that collectively imply the…
A Rough semiring $(T,\Delta,\nabla)$ is considered to describe a special distributive Rough semiring known as a Rough bi-Heyting algebra. A bi-Heyting algebra is an extension of boolean algebra and it is accomplished by weaker notion of…
We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for…
Assume M is a 3-dimensional real manifold without boundary, A is an abelian Lie algebra of analytic vector fields on M, and X is an element of A. The following result is proved: If K is a locally maximal compact set of zeroes of X and the…
The notion of hidden symmetry algebra used in the context of exactly solvable systems is re-examined from the purely algebraic way, analyzing subspaces of commuting polynomials that generate finite-dimensional quadratic algebras. By…
The collection of open sets of a topological space forms a Heyting algebra, which leads to the idea of a Heyting algebra as a generalized topological space. In fact, a sober topological space may be reconstructed from its locale of open…
We study regular and black hole solutions to the coupled classical Einstein--Yang-Mills--Higgs system. It has long been thought that black hole solutions in the spontaneously broken phase of such a theory could have no nontrivial field…
We use the general solution to the trace of the 4-dimensional Einstein equations for static, spherically symmetric configurations as a basis for finding a general class of black hole (BH) metrics, containing one arbitrary function $g_{tt} =…
We revisit finite element discretizations of the Reissner-Mindlin plate in the case of non-simply connected (holey) domains with mixed boundary conditions. Guided by the de Rham complex, we develop conditions under which schemes deliver…
In ``New Proofs of the structure theorems for Witt Rings'', Lewis shows how the standard ring-theoretic results on the Witt ring can be deduced in a quick and elementary way from the fact that the Witt ring of a field is integral and from…
We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic…
It has been pointed out that Nielsen-Olesen vortices may be able to decay by pair production of black holes. We show that when the abelian Higgs model is embedded in a larger theory, the additional fields may lead to selection rules for…