Related papers: Log adjunction: moduli part
Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, called atoms, and instantiable variables are considered as…
We can define a module to be an exact functor on a small abelian category. This is explained and shown to be equivalent to the usual definition but it does offer a different perspective, inspired by the notions from model theory of…
We prove the precise inversion of adjunction formula for finite linear group quotients of complete intersection varieties defined by semi-invariant equations. As an application, we prove the semi-continuity of minimal log discrepancies for…
Let A be an asymptotic basis for N and X a finite subset of A such that A\X is still an asymptotic basis. Farhi recently proved a new batch of upper bounds for the order of A\X in terms of the order of A and a variety of parameters related…
Let \alpha be a Schur root; let h=hcf_v(\alpha(v)) and let p = 1 - < \alpha/h,\alpha/h >. Then a moduli space of representations of dimension vector \alpha is birational to p h by h matrices up to simultaneous conjugacy. Therefore, if…
Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many answer set programs. We…
The action of origin-preserving diffeomorphisms on a space of jets of symmetric connections is considered. Dimensions of moduli spaces of generic connections are calculated. Poincar\'e series of the geometric structure of symmetric…
In this note, we give a new simple system of global parameters on the moduli space of rational functions, and clarify the relation to the parameters indicating location of fixed points and the indices at them. As a byproduct, we solve a…
Possibilistic logic offers a qualitative framework for representing pieces of information associated with levels of uncertainty of priority. The fusion of multiple sources information is discussed in this setting. Different classes of…
We introduce a derived enhancement of the moduli space of sections defined by Chang-Li, and we compute its tangent complex. Special cases of this moduli space include stable maps and stable quasi-maps. As an application, we prove that…
It is a well-known result of Etingof, Nikshych and Ostrik that there are finitely many inequivalent integral modular categories of any fixed rank $n$. This follows from a double-exponential bound on the maximal denominator in an Egyptian…
Satisfiability checking for monotone modal logic is known to be (only) NP-complete. We show that this remains true when the logic is extended with aconjunctive and alternation-free fixpoint operators as well as the universal modality; the…
We give a sharp upper bound for the entries of the representations of a rational number as a sum of Egyptian fractions.
In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics.
We develop a theory of modulus triples, for future motivic applications.
This note is concerned with a formal analysis of the problem of non-monotonic reasoning in intelligent systems, especially when the uncertainty is taken into account in a quantitative way. A firm connection between logic and probability is…
We see how nested sequents, a natural generalisation of hypersequents, allow us to develop a systematic proof theory for modal logics. As opposed to other prominent formalisms, such as the display calculus and labelled sequents, nested…
Considering Schur positivity of differences of plethysms of homogeneous symmetric functions, we introduce a new relation on integer partitions. This relation is conjectured to be a partial order, with its restriction to one part partitions…
In this note, we prove multiplicity one theorems for generalized modular functions (GMF), in terms of their q-exponents, and make a general statement about the nature of values that the prime q-exponents of a GMF can take. We shall also…
The moduli space of degree $d$ morphisms on $\mathbb{P}^1$ has received much study. McMullen showed that, except for certain families of Latt\`es maps, there is a finite-to-one correspondence (over $\mathbb{C}$) between classes of morphisms…