相关论文: Few non-minimal types and non-structure

We exhibit a theory where definable types lack the amalgamation property.

It is shown that the operad maps $E_n\to E_{n+k}$ are formal over the reals for $k\geq 2$ and non-formal for $k=1$. Furthermore we compute the cohomology of the deformation complex of the operad maps $E_{n}\to E_{n+1}$, proving an algebraic…

We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show…

If $\mathcal{C}$ is a minor-closed class of matroids, the class $\mathcal{C}'$ of integer polymatroids whose natural matroids are in $\mathcal{C}$ is also minor closed, as is the class $\mathcal{C}'_k$ of $k$-polymatroids in $\mathcal{C}'$.…

In this paper, theory and construction of spinor representations of real Clifford algebras $\cl_{p,q}$ in minimal left ideals are reviewed. Connection with a general theory of semisimple rings is shown. The actual computations can be found…

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent…

We present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model.…

In Part II of this work, we construct crystallized polyiamonds with $h$ holes for every $h\ge1$, that is polyiamonds which use the fewest possible tiles necessary to enclose $h$ holes. Furthermore, we prove that crystallized polyiamonds…

In a recent paper, Madritsch and Tichy established Diophantine inequalities for the fractional parts of polynomial-like functions. In particular, for $f(x)=x^k+x^c$ where $k$ is a positive integer and $c>1$ is a non-integer, and any fixed…

In this article we show that the semi log canonical abundance for compact K\"ahler varieties fails in dimension $3$. More specifically we construct a counterexample of a compact K\"ahler (irreducible) slc threefold $(X, 0)$ such that $K_X$…

In this work we shall study $k$-inflation theories with non-minimal coupling of the scalar field to gravity, in the presence of only a higher order kinetic term of the form $\sim \mathrm{const}\times X^{\mu}$, with…

For every positive integral level $k$ we study arithmetic properties of certain holomorphic modular forms associated to modular invariant spaces spanned by graded dimensions of $L_{\hat{sl_2}}(k \Lambda_0)$-modules. We found a necessary and…

We present simulations on charged polymers in poor solvent. First we investigate in detail the dilute concentration range with and without imposed extension constraints. The resulting necklace polymer conformations are analyzed in detail.…

We study the existence of minimal dynamical systems, their orbit and minimal orbit-breaking equivalence relations, and their applications to C*-algebras and K-theory. We show that given any finite CW-complex there exists a space with the…

We study the problem of computing minimal distinguishing formulas for non-bisimilar states in finite LTSs. We show that this is NP-hard if the size of the formula must be minimal. Similarly, the existence of a short distinguishing trace is…

Let $\mathbf{Was}(\mathbb{K})$ denote the group of Washington's cyclotomic units of any abelian number field $\mathbb{K}$. If $\mathbb{K}$ coincides with its genus field in the narrow sense, we give a $\Lambda$-basis of…

We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor…

Conjunctive normal forms where every clause has length at most two are called 2-CNFs. We study minimally unsatisfiable 2-CNFs (2-MUs), that is, unsatisfiable 2-CNFs where removing any clause destroys unsatisfiability, and obtain their full…

We study relative log canonical pairs with relatively trivial log canonical divisors. We fix such a pair $(X,\Delta)/Z$ and establish the minimal model theory for the pair $(X,\Delta)$ assuming the minimal model theory for all Kawamata log…

If S is a set of matroids, then the matroid M is S-fragile if, for every element e in E(M), either M\e or M/e has no minor isomorphic to a member of S. Excluded-minor characterizations often depend, implicitly or explicitly, on…