Related papers: Generalized Egorov's statement for ideals
We discuss the algebra of general gauge theories that are described by the embedding tensor formalism. We compare the gauge transformations dependent and independent of an invariant action, and argue that the generic transformations lead to…
In this paper we prove the theorem on freedom for free sums of Lie algebras with a single relation (analogous with the well-known result of Shirshov) and a generalized Freiheitssatz for free sums of Lie algebras (analogous with the…
In this paper we extend Fischler's quantitative generalization of Nesterenko's linear independence criterion, by weakening the hypotheses on the divisors of the coe cients of the linear forms and allowing (to some extent) the linear forms…
The known facts about solvability of equations over groups are considered from a more general point of view. A generalized version of the theorem about solvability of unimodular equations over torsion-free groups is proved. In a special…
We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.
We enunciate and prove here a generalization of Geroch's famous conjecture concerning analytic solutions of the elliptic Ernst equation. Our generalization is stated for solutions of the hyperbolic Ernst equation that are not necessarily…
The generalized test ideals introduced in [HY] are related to multiplier ideals via reduction to characteristic p. In addition, they satisfy many of the subtle properties of the multiplier ideals, which in characteristic zero follow via…
In this paper, we show that Markov's principle is not derivable in dependent type theory with natural numbers and one universe. One way to prove this would be to remark that Markov's principle does not hold in a sheaf model of type theory…
We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engstr\"om, comparing them with a more general, higher-order definition of team quantifier. We show that…
We introduce equivariant tree models in algebraic statistics, which unify and generalise existing tree models such as the general Markov model, the strand symmetric model, and group based models. We focus on the ideals of such models. We…
We present a generalization of the Holevo theorem by means of distances used in the definition of distinguishability of states, showing that each one leads to an alternative Holevo theorem. This result involves two quantities: the…
We formulate and discuss a general axiomatic theory of arbitrary objects. This theory is expressed in a simple first-order language without modal operators, and it is governed by classical logic.
Generalized Effective Field Theory (GEFT) is the non-renormalizable extension of an Effective Field Theory where the Wilson coefficients are endowed by their own, independent scale dependence. Such an effective theory can be constructed by…
We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindstr\"om, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the…
We give necessary and sufficient conditions for the existence of a generalization of R\'enyi divergence, which is defined in terms of a deformed exponential function. If the underlying measure $\mu$ is non-atomic, we found that not all…
Following and generalizing unpublished work of Ange, we prove a generalized version of R\'emond's generalized Vojta inequality. This generalization can be applied to arbitrary products of irreducible positive-dimensional projective…
We prove the generalized Wolff's Ideal Theorem on certain uniformly closed subalgebras of $ H^{\infty}(\mathbb{D}) $ on which the Corona Theorem is already known to hold.
We resolve the topological version of the Erd\H{o}s Similarity conjecture introduced previously by Gallagher, Lai and Weber. We show that a set is topologically universal on ${\mathbb R}$ if and only if it is of strong measure zero. As a…
In this paper we introduce generalised Markov numbers and extend the classical Markov theory for the discrete Markov spectrum to the case of generalised Markov numbers. In particular we show recursive properties for these numbers and find…
In this paper, we generalized the classical Fermat point, proved the sufficient and necessary condition for uniqueness and existence for the generalized Fermat point(GFP) theorem, and discuss some interesting geometric property of the…