English
Related papers

Related papers: Non-forking independence in stable theories

200 papers

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…

Logic · Mathematics 2007-05-23 Alf Onshuus

Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a…

Operator Algebras · Mathematics 2026-02-25 William Boulanger , Jakub Curda , Emma Harvey , Yizhi Li , Jennifer Pi

We study delay-independent stability in nonlinear models with a distributed delay which have a positive equilibrium. Such models frequently occur in population dynamics and other applications. In particular, we construct a relevant…

Dynamical Systems · Mathematics 2009-01-12 Elena Braverman , Sergey Zhukovskiy

We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups.

Logic · Mathematics 2013-03-07 Chloé Perin , Rizos Sklinos

The use of effective field theory offers a systematic way to improve calculations of nuclear reactions and the properties of atomic nuclei. Its successes have led to the widespread belief that the predictions of this approach are model…

Nuclear Theory · Physics 2025-10-17 Anthony W. Thomas

Statistical independence is a notion ubiquitous in various fields such as in statistics, probability, number theory and physics. We establish the stability of independence for any pair of random variables by their corresponding Brockwell…

Probability · Mathematics 2024-04-12 Xingzhi Wang

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

Logic · Mathematics 2012-02-14 Artem Chernikov , Pierre Simon

Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…

Logic · Mathematics 2015-08-14 Artem Chernikov , Itay Kaplan , Saharon Shelah

We introduce some properties describing dependence in indiscernible sequences: $F_{ind}$ and its dual $F_{Mb}$, the definable Morley property, and $n$-resolvability. Applying these properties, we establish the following results: We show…

Logic · Mathematics 2026-04-29 John Baldwin , James Freitag , Scott Mutchnik

A functional limit theorem is established for the partial-sum process of a class of stationary sequences which exhibit both heavy tails and long-range dependence. The stationary sequence is constructed using multiple stochastic integrals…

Probability · Mathematics 2020-04-09 Shuyang Bai , Takashi Owada , Yizao Wang

In this article we provide a substantial discussion on the statistical concept of conditional independence, which is not routinely mentioned in most elementary statistics and mathematical statistics textbooks. Under the assumption of…

Other Statistics · Statistics 2020-03-10 Jun Hu , Xianggui Qu

We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…

Logic · Mathematics 2013-12-25 Saharon Shelah

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…

Logic · Mathematics 2011-05-17 Ehud Hrushovski

A stationary spatial model is an idealization and we expect that the true dependence structures of physical phenomena are spatially varying, but how should we handle this non-stationarity in practice? We study the challenges involved in…

Methodology · Statistics 2015-09-15 Geir-Arne Fuglstad , Daniel Simpson , Finn Lindgren , Håvard Rue

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…

Logic · Mathematics 2007-05-23 Saharon Shelah

This paper provides a nonparametric analysis for several classes of models, with cases such as classical measurement error, regression with errors in variables, factor models and other models that may be represented in a form involving…

Methodology · Statistics 2012-09-10 Victoria Zinde-Walsh

Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP$_1$ or TP$_2$. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion…

Logic · Mathematics 2019-07-05 Enrique Casanovas , Byunghan Kim

The FKG theorem says that the POSITIVE LATTICE CONDITION, an easily checkable hypothesis which holds for many natural families of events, implies POSITIVE ASSOCIATION, a very useful property. Thus there is a natural and useful theory of…

Probability · Mathematics 2007-06-13 Robin Pemantle

We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking.

Logic · Mathematics 2015-08-11 Enrique Casanovas , Joris Potier

Max-stable processes are natural models for spatial extremes because they provide suitable asymptotic approximations to the distribution of maxima of random fields. In the recent past, several parametric families of stationary max-stable…

Methodology · Statistics 2016-02-22 Raphael Huser , Marc G. Genton