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

We show that if $N\pm 1=M\varphi(N)$ with $N\neq 15, 255$ composite, then $M<15.76515\log\log\log N$ and $M<16.03235\log\log\omega(N)$, together with similar results for the unitary totient function, Dedekind function, and the sum of…

We prove that an operator system $\mathcal S$ is nuclear in the category of operator systems if and only if there exist nets of unital completely positive maps $\phi_\lambda : \cl S \to M_{n_\lambda}$ and $\psi_\lambda : M_{n_\lambda} \to…

We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on…

Let $K$ be a field of characteristic zero, $X$ and $Y$ be smooth $K$-varieties, and let $G$ be a algebraic $K$-group. Given two algebraic morphisms $\varphi:X\rightarrow G$ and $\psi:Y\rightarrow G$, we define their convolution…

Let $T_{a,\varphi}$ be a Fourier integral operator defined with $a\in S^{m}_{0,\delta}(0\leq\delta<1)$ and $\varphi\in \Phi^{2}$ satisfying the strong non-degenerate condition. We demonstrate that when the order satisfies…

In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

In this paper, we introduce a concept of non-dependence of variables in formulas. A formula in first-order logic is non-dependent of a variable if the truth value of this formula does not depend on the value of that variable. This variable…

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 consider the time-dependent nonlinear system $\dot q(t)=u(t)X(q(t))+(1-u(t))Y(q(t))$, where $q\in\R^2$, $X$ and $Y$ are two %$C^\infty$ smooth vector fields, globally asymptotically stable at the origin and $u:[0,\infty)\to\{0,1\}$ is an…

We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type $p$ over a set $B$ does not divide over $C\subseteq B$, then no extension of $p$ to a complete type over $\text{acl}(B)$ divides over $C$.…

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

We show that if a Lagrangian is invariant under a transformation (with the invariance defined in the standard manner), then the equations of motion obtained from it maintain their form under the transformation. We also show that the…

First, we point out that the present applied superposition principle is linear, it must be developed into a generality. Next, the linear operators and equations should be developed nonlinearly. They will include nonlinear Klein-Gordon…

We prove the following version of the first incompleteness theorem that simultaneously strengthens Mostowski's theorem and Vaught's theorem: For any c.e. family $\{ T_i \}_{i \in \omega}$ of consistent extensions of Tarski, Mostowski and…

We deduce Levinson\'{}s theorem in non-relativistic quantum mechanics in one dimension as a sum rule for the spectral density constructed from asymptotic data. We assume a self-adjoint hamiltonian which guarantees completeness; the…

We prove a strong invariance principle for the sums PN k=1 f(nkx), where f is a smooth periodic function on R and (nk)k?1 is an increasing random sequence. Our results show that in contrast to the classical Salem-Zygmund theory, the…

There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…

The classical problem of maximizing the Shannon entropy of a sum of independent random variables supported on a finite alphabet is considered and settled in the ternary case. Namely, the following theorem is established: if…

We show that, in 't Hooft's large N limit, matrix models can be formulated as a classical theory whose equations of motion are the factorized Schwinger--Dyson equations. We discover an action principle for this classical theory. This action…