相关论文: Axiomatic structure of k-additive capacities

We axiomatize the provability logic of $\HA$ and prove its decidability. Furthermore, we axiomatize the preservativity and relative admissibility relations for several modal logics extending iK4. A principal technical tool is the…

We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof…

If $X$ is a closure space with closure $K$, we consider the semilattice $(\mathcal P(X), \cup)$ endowed with further relations $ x \sqsubseteq y_1, y_2, \dots, y_n$ (a distinct $n+1$-ary relation for each $n \geq 1$), whose interpretation…

We introduce the notion of a multidimensional hybrid preference domain on a (finite) set of alternatives that is a Cartesian product of finitely many components. We demonstrate that in a model of public goods provision, multidimensional…

We explain how structures analogous to those appearing in the theory of stability conditions on abelian and triangulated categories arise in geometric invariant theory. This leads to an axiomatic notion of a central charge on a scheme with…

We introduce quantum weighted entropy in analogy to an earlier notion of (classical) weighted entropy and derive many of its properties. These include the subadditivity, concavity and strong subadditivity property of quantum weighted…

Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called…

We establish a hierarchy of weighted majorization relations for the singularities of generalized Lam\'e equations and the zeros of their Van Vleck and Heine-Stieltjes polynomials as well as for multiparameter spectral polynomials of higher…

Let K be a field of positive characteristic p, let R be either a group algebra K[G] or a restricted enveloping algebra u(L), and let I be the augmentation ideal of R. We first characterize those R for which I satisfies a polynomial identity…

We define, for any group $G$, finite approximations ; with this tool, we give a new presentation of the profinite completion $\hat{\pi} : G \to \hat{G}$ of an abtract group $G$. We then prove the following theorem : if $k$ is a finite prime…

The mechanism of preferential attachment underpins most recent social network formation models. Yet few authors attempt to check or quantify assumptions on this mechanism. We call generalized preferential attachment any kind of preference…

By generalizing Ledrappier's criterion for the $K$-property of equilibrium states, we extend the criterion to subadditive potentials. We apply this result to the singular value potentials of matrix cocycles, and show that equilibrium states…

Probabilistic team semantics is a framework for logical analysis of probabilistic dependencies. Our focus is on the axiomatizability, complexity, and expressivity of probabilistic inclusion logic and its extensions. We identify a natural…

One of the fundamental questions in current field theory, related to Grothendieck's conjecture of birational anabelian geometry, is the investigation of the precise relationship between the Galois theory of fields and the structure of the…

This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to…

We consider $k$-dimensional discrete-time systems of the form $x_{n+1}=F(x_n,\ldots,x_{n-k+1})$ in which the map $F$ is continuous and monotonic in each one of its arguments. We define a partial order on $\mathbb{R}^{2k}_+$, compatible with…

When $G$ is abelian and $l$ is a prime we show how elements of the relative K-group $K_{0}({\bf Z}_{l}[G], {\bf Q}_{l})$ give rise to annihilator/Fitting ideal relations of certain associated ${\bf Z}[G]$-modules. Examples of this…

Whilst Power Kripke-Platek set theory, KPP, shares many properties with ordinary Kripke-Platek set theory, KP, in several ways it behaves quite differently from KP. This is perhaps most strikingly demonstrated by a result, due to Mathias,…

Let X be a noetherian scheme defined over an algebraically closed field of positive characteristic p, and G be a finite group, of order divisible by p, acting on X. We introduce a refinement of the equivariant K-theory of X to take into…

We work in the context of a complete totally transcendental theory $T = T^{eq}$. We consider the prime model $M_{A}$ over a set $A$. For intermediate sets $B$ with $A\subseteq B \subseteq M_{A}$ which are normal ($Aut(M_{A}/A)$-invariant)…