Related papers: Morley sequences in dependent theories

We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain…

We provide a partial answer to a question asked independently by Kim and d'Elb\'ee and show that, under the assumption of the stable Kim-forking conjecture, every $\mathrm{NSOP}_1$ rosy theory must be simple. We also prove that the theory…

Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic…

We prove a sequence of limiting results about weakly dependent stationary and regularly varying stochastic processes in discrete time. After deducing the limiting distribution for individual clusters of extremes, we present a new type of…

We show that a non-algebraic simple group of finite Morley rank with a definable representation over a field has no involutions, and otherwise resembles a bad group. In particular, the modern form of the Cherlin-Zilber alebaricity…

We consider the Dirichlet problem for a class of quasilinear elliptic systems in domain with irregular boundary. The principal part satisfies componentwise coercivity condition and the nonlinear terms are Carath\'eodory maps having Morrey…

We present a type theory dealing with non-linear, "ordinary" dependent types (which we will call cartesian) and linear types, where both constructs may depend on terms of the former. In the interplay between these, we find new type formers…

For noncorrelated random variables, we study a concentration property of the family of distributions of normalized sums formed by sequences of times of a given large length.

We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC $K$ is tame, type-short, and failure of an order-property, we consider {\bf Definition.} Let $M_0 \prec…

Summability methods for ultraholomorphic classes in sectors, defined in terms of a strongly regular sequence $\mathbb{M}=(M_p)_{p\in\mathbb{N}_0}$, have been put forward by A. Lastra, S. Malek and the second author [1], and their validity…

We prove a quantitative partial result in support of the Dynamical Mordell-Lang Conjecture (also known as the DML conjecture) in positive characteristic. More precisely, we show the following: given a field $K$ of characteristic $p$, given…

Quasi-stable ideals appear as leading ideals in the theory of Pommaret bases. We show that quasi-stable leading ideals share many of the properties of the generic initial ideal. In contrast to genericity, quasi-stability is a characteristic…

In this article we study various forms of $\ell$-independence (including the case $\ell=p$) for the cohomology and fundamental groups of varieties over finite fields and equicharacteristic local fields. Our first result is a strong form of…

We consider nonlinear elliptic systems satisfying componentwise coercivity condition. The nonlinear terms have controlled growths with respect to the solution and its gradient, while the behaviour in the independent variable is governed by…

We give necessary and sufficient conditions for a regular semi-Dirichlet form to enjoy a new Feller type property, which we call \emph{weak Feller property}. Our characterization involves potential theoretic as well as probabilistic aspects…

We obtain central limit theorems for stationary random fields employing a novel measure of dependence called $\theta$-lex weak dependence. We show that this dependence notion is more general than strong mixing, i.e., it applies to a broader…

We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the…

We prove the Poisson geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry). The result is also a generalization of Conn's linearization theorem from one-point leaves to…

We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.…

We continue the study of stabilization phenomena for Dynkin diagram sequences initiated in the earlier work of Kleber and the present author. We consider a more general class of sequences than that of this earlier work, and isolate a…