Related papers: On the uniqueness property of forking in abstract …

We study the following generalization of singularity categories. Let X be a quasi-projective Gorenstein scheme with isolated singularities and A a non-commutative resolution of singularities of X in the sense of Van den Bergh. We introduce…

Dedicated to the memory of Edsger W.Dijkstra. Representation independence or relational parametricity formally characterizes the encapsulation provided by language constructs for data abstraction and justifies reasoning by simulation.…

We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable…

We study two types of unique continuation properties for the higher order Schr\"{o}dinger equation with potential $$ i\partial_tu=(-\Delta_x)^mu+V(t,x)u,\quad(t,x)\in\mathbb{R}^{1+n},\,2\leq m\in\mathbb{N}_+. $$ The first one says if $u$…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

We show that self-similar measures on $\mathbb{R}^d$ satisfying the weak separation condition are uniformly scaling. Our approach combines elementary ergodic theory with geometric analysis of the structure given by the weak separation…

We observe almost divisibility for the original Cuntz semigroup of a simple AH algebra with strict comparison. As a consequence, the properties of strict comparison, finite nuclear dimension, and Z-stability are equivalent for such…

We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that…

In a previous paper we developed the notions of th-independence and \th-ranks which define a geometric independence relation in a class of theories which we called ``rosy''. We proved that rosy theories include simple and o-minimal theories…

We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are…

In this paper we prove: Theorem 1. Let $\mathcal{K}$ be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose $\lambda>\mu\geq LS(\mathcal{K})$ and $\theta$ is a limit ordinal $<\lambda^+$. If…

We consider classes $ \mathcal{A}_M(S) $ of functions holomorphic in an open plane sector $ S $ and belonging to a strongly non-quasianalytic class on the closure of $ S $. In $ \mathcal{A}_M(S) $, we construct functions which are flat at…

A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor. A final coalgebra then gives rise to the coinduction principle, which states that two…

We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from the first order case. In particular we prove the analogue of…

The definition of a reference frame in General Relativity is achieved through the construction of a congruence of time-like world-lines. In this framework, splitting techniques enable us to express physical phenomena in analogy with Special…

In this paper, we study various classes of partition functions such as those related to the parity of the number of parts, to differences of partition numbers, and to partitions with a repeated smallest part. We establish identities…

In the case of systems composed of identical particles, a typical instance in quantum statistical mechanics, the standard approach to separability and entanglement ought to be reformulated and rephrased in terms of correlations between…

This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic…

This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a…

We define a class of expressions for the multiple zeta function, and show how to determine whether an expression in the class vanishes identically. The class of such identities, which we call partition identities, is shown to coincide with…