Related papers: Canonical immunity and genericity
In this article we give a Galois-theoretic characterization of the canonical theta structure. The Galois property of the canonical theta structure translates into certain $p$-adic theta relations which are satisfied by the canonical theta…
In the present paper we define the notion of generalized cumulants which gives a universal framework for commutative, free, Boolean, and especially, monotone probability theories. The uniqueness of generalized cumulants holds for each…
We show canonicity and normalization for dependent type theory with a cumulative sequence of universes and a type of Boolean. The argument follows the usual notion of reducibility, going back to Godel's Dialectica interpretation and the…
Abstractly, the generic extensions after $\aleph_\omega$-many Cohen reals and $\aleph_{\omega+1}$-many Cohen reals must be different for reasons of uniform density the relevant Boolean algebras. Nevertheless this is not satisfying and it…
In this paper we discuss the problem of characterizing the Cohen-Macaulay property of certain families of monomial ideals with fixed radical. More precisely, we consider generically complete intersection monomial ideals whose radical…
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…
The basic features of the complex canonical formulation of general relativity and the recent developments in the quantum gravity program based on it are reviewed. The exposition is intended to be complementary to the review articles…
We introduce a general notion of "genericity" for countable subsets of a space with Borel measure, and apply it to the set of vertices in the curve complex of a surface S, interpreted as subset of the space of projective measured…
We prove that the canonical ring of a canonical variety in the sense of de Fernex and Hacon is finitely generated. We prove that canonical varieties are klt if and only if R(-K_X) is finitely generated. We introduce a notion of nefness for…
This paper investigates situations where a property of a ring can be tested on a set of "prime right ideals." Generalizing theorems of Cohen and Kaplansky, we show that every right ideal of a ring is finitely generated (resp. principal) iff…
We generalize L\'evy's lemma, a concentration-of-measure result for the uniform probability distribution on high-dimensional spheres, to a much more general class of measures, so-called GAP measures. For any given density matrix $\rho$ on a…
A new definition for the notion of a (general) $\infty$-category is given.
We compute the canonical class of certain Rees algebras. Our formula generalizes that of Herzog and Vasconcelos. Its proof relies on the fact that the formation of the canonical module commutes with subintersections in important cases. As…
The information-spectrum analysis made by Han for classical hypothesis testing for simple hypotheses is extended to a unifying framework including both classical and quantum hypothesis testing as well as fixed-length source coding, whereby…
We give a canonical construction of a balanced big Cohen-Macaulay algebra for a domain of finite type over $\mathbb C$ by taking ultraproducts of absolute integral closures in positive characteristic. This yields a new tight closure…
When we study the paradoxes of set theory we find out that there are mainly 2 types: the pathologies and the antinomies. These 2 notions are made precise and compared with the somehow inductively definable concept "abnormal". (See my paper…
This paper develops a general theory of canonical bases, and how they arise naturally in the context of categorification. As an application, we show that Lusztig's canonical basis in the whole quantized universal enveloping algebra is given…
A covariant description of the canonical theory for interacting classical fields is developed on a space-like hypersurface. An identity invariant under the canonical transformations is obtained. The identity follows a canonical equation in…
Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalization of the theory of canonical extension to the setting of first order logic. We define a notion of…
This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $\Gamma$ be the Turing ideal in which we take the dense open sets. The set of $\Gamma$-Cohen generics has measure positive if and only if…