Related papers: Higher amalgamation in $\mathrm{ACFA}^{+}$

Interpolation is an essential tool in software verification, where first-order theories are used to constrain datatypes manipulated by programs. In this paper, we introduce the datatype theory of contiguous arrays with maxdiff, where arrays…

This chapter presents a state-of-the-art survey of relationships, traditionally referred to as `bridges', between interpolation properties for propositional logics -- including superintuitionistic, modal, and substructural logics -- and…

We study a fourth-order derivative scalar field configuration in a fixed Lifshitz background. Using an auxiliary field we rewrite the equations of motion as two coupled second order equations. We specialize to the limit that the mass of the…

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…

The locally constant field approximation (LCFA) has to date underpinned the numerical simulation of quantum processes in laser-plasma physics and astrophysics, but its validity has recently been questioned in the parameter regime of current…

We study whether a unital associative algebra $ A $ over a field admits a decomposition of the form $A = Z(A) + [A,A]$ where $ Z(A) $ is the center of $ A $ and $ [A,A] $ denotes the additive subgroup of $A$ generated by all additive…

We use results from communication complexity, both new and old ones, to prove lower bounds for unambiguous finite automata (UFAs). We show three results. $\textit{Complement:}$ There is a language $L$ recognised by an $n$-state UFA such…

We consider the situation in which some class of structures has the Strong Amalgamation Property (SAP) with the further requirement that the amalgamating structure can be taken over the set theoretical union of (the images of) the domains…

A particular case of the level increasing conjecture for type A fusion coefficientes is proved for when one the weights is a multiple of the first fundamental weight.

We provide evidence for the existence of a new strongly-coupled four dimensional $\mathcal{N}=2$ superconformal field theory arising as a non-trivial IR fixed point on the Coulomb branch of the mass-deformed superconformal Lagrangian theory…

We construct a cohomology theory controlling the deformations of a general Drinfel'd algebra. The picture presented here has two sides -- the combinatorial one related with the fact of the existence of a graded Lie algebra structure on the…

The smallest deformation of the minimal model M(2,3) that can accommodate Cardy's derivation of the percolation crossing probability is presented. It is shown that this leads to a consistent logarithmic conformal field theory at c=0. A…

We continue the previous study on the existence of different intermediate Hamiltonians in type A N-fold supersymmetric systems and carry out an exhaustive investigation on the N=3 case. In contrast with the N=2 case, we find various…

We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closure is not contained in its algebraic closure. We will show…

We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a…

We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a…

We show that for 1<n<m, the class Nr_nCA_m known to be non-elementary is pseudo elementary. When n and m are finite we use a two sorted theory, when n is finite and m infinite we use a three sorted one, and finally when both are infinite we…

The conclusion of the original paper was wrong, due to the incorrect assumption that the low-energy limit at the strongly-coupled point consists of a single, coupled SCFT. By taking into account the fact that the low-energy limit consists…

Given a class C of word languages, the C-separation problem asks for an algorithm that, given as input two regular languages, decides whether there exists a third language in C containing the first language, while being disjoint from the…

Motivated by the free products of groups, the direct sums of modules, and Shelah's $(\lambda,2)$-goodness, we study strong amalgamation properties in Abstract Elementary Classes. Such a notion of amalgamation consists of a selection of…