Related papers: A note on one-variable theorems for NSOP

In [Appl. Comput. Harmon. Anal., 46(3):664-673, 2019], O. Christensen and M. Hasannasab observed that assuming the existence of an operator $T$ sending $e_n$ to $e_{n+1}$ for all $n \in \mathbb{N}$ (where $(e_n)_{n \in \mathbb{N}}$ is a…

In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…

In \cite{K3} we pointed out the correspondence between a result of Shelah in model theory, i.e. a theory is unstable if and only if it has IP or SOP, and the well known compactness theorem of Eberlein and \v{S}mulian in functional analysis.…

To every dynamical system $(X,\varphi)$ over a totally disconnected compact space, we associate a left-orderable group $T(\varphi)$. It is defined as a group of homeomorphisms of the suspension of $(X,\varphi)$ which preserve every orbit of…

The change of variable theorem is proved under the sole hypothesis of differentiability of the transformation. Specifically, it is shown under this hypothesis that the transformed integral equals the given one over every measurable subset…

This paper investigates a connection between the ordering triangleleft^ast among theories in model theory and the (N)SOP_n hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP_2 and…

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

We introduce the notion of dependence, as a property of a Keisler measure, and generalize several results of [HPS13] on generically stable measures (in $NIP$ theories) to arbitrary theories. Among other things, we show that this notion is…

In the local, characteristic 0, non archimedean case, we consider distributions on GL(n+1) which are invariant under the adjoint action of GL(n). We prove that such distributions are invariant by transposition. This implies that an…

Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…

We generalize a theory of Shelah for continuous logic, namely a continuous theory has OP if and only if it has IP or SOP.

In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < \omega$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to…

We give an elementary construction of the tangent-obstruction theory of the deformations of the pair $(X,L)$ with $X$ a reduced local complete intersection scheme and $L$ a line bundle on $X$. This generalizes the classical deformation…

We present a new result on uniform attractivity of the origin for nonlinear time-varying systems. Our theorem generalizes Matrosov's theorem which extends, in a certain manner, Krasovskii-LaSalle invariance principle to the case of general…

We prove a Morrey-type theorem for Hamiltonian stationary submanifolds of $\mathbb{C}^{n}$. Namely, if $L$ $\subset$ $\mathbb{C}^{n}$ is a $C^{1}$ Lagrangian submanifold with weakly harmonic Lagrangian phase $\theta,$ then $L$ must be…

We address the integrability conditions of the inverse problem of the calculus of variations for time-dependent SODE using the Spencer version of the Cartan-K\"ahler theorem. We consider a linear partial differential operator $P$ given by…

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…

Using any nonnegative function with a nonpositive derivative along trajectories to define a virtual output, the classic LaSalle invariance principle can be extended to switched nonlinear time-varying (NLTV) systems, by considering the weak…

In this paper, we are interested in giving two characterizations for the so-called property {\bf L}$_{o,o}$, a local vector valued Bollob\'as type theorem. We say that $(X, Y)$ has this property whenever given $\eps > 0$ and an operador $T:…

We develop a framework, in the style of Adler, for interpreting the notion of "witnessing" that has appeared (usually as a variant of Kim's Lemma) in different areas of neostability theory as a binary relation between abstract independence…