Theories without the tree property of the second kind

We initiate a systematic study of the class of theories without the tree property of the second kind - NTP2. Most importantly, we show: the burden is "sub-multiplicative" in arbitrary theories (in particular, if a theory has TP2 then there is a formula with a single variable witnessing this); NTP2 is equivalent to the generalized Kim's lemma and to the boundedness of ist-weight; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters - so the dp-rank of a 1-type in any theory is always witnessed by sequences of singletons; in NTP2 theories, simple types are co-simple, characterized by the co-independence theorem, and forking between the realizations of a simple type and arbitrary elements satisfies full symmetry; a Henselian valued field of characteristic (0,0) is NTP2 (strong, of finite burden) if and only if the residue field is NTP2 (the residue field and the value group are strong, of finite burden respectively), so in particular any ultraproduct of p-adics is NTP2; adding a generic predicate to a geometric NTP2 theory preserves NTP2.Comment: 35 pages; v.3: a discussion and a Conjecture 2.7 on the sub-additivity of burden had been added; Section 3.1 on the SOPn hierarchy restricted to NTP2 theories had been added; Problem 7.13 had been updated; numbering of theorems had been changed and some minor typos were fixed; Annals of Pure and Applied Logic, accepte

Periodic waves in bimodal optical fibers

We consider coupled nonlinear Schrodinger equations (CNLSE) which govern the propagation of nonlinear waves in bimodal optical fibers. The nonlinear transform of a dual-frequency signal is used to generate an ultra-short-pulse train. To predict the energy and width of pulses in the train, we derive three new types of travelling periodic-wave solutions, using the Hirota bilinear method. We also show that all the previously reported periodic wave solutions of CNLSE can be derived in a systematic way, using the Hirota method.Comment: 10 pages with 2 figures. "Optics Communications, in press

Groups with the Minimal Conditions for Subgroups and for Nonabelian Subgroups

For some very wide classes $\mathfrak{D}$ and $\mathfrak{B}\subset\mathfrak{D}$ of groups, the author proves that an arbitrary (nonabelian) group $G\in \mathfrak{D}$ (respectively $G\in \mathfrak{B}$) satisfies the minimal condition for (nonabelian) subgroups iff it is Cherniko

Mekler's construction and generalized stability

Mekler's construction gives an interpretation of any structure in a finite relational language in a group (nilpotent of class $2$ and exponent $p>2$, but not finitely generated in general). Even though this construction is not a bi-interpretation, it is known to preserve some model-theoretic tameness properties of the original structure including stability and simplicity. We demonstrate that $k$-dependence of the theory is preserved, for all $k \in \mathbb{N}$, and that NTP$_2$ is preserved. We apply this result to obtain first examples of strictly $k$-dependent groups (with no additional structure).Comment: v.2 many minor corrections and presentation improvements throughout the article, more details were added in some of the proofs; Remarks 2.12, 2.13 and Problem 5.8 are new; accepted to the Israel Journal of Mathematic

Externally definable sets and dependent pairs

We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then used to prove a general theorem on dependent pairs, which in particular answers a question of Baldwin and Benedikt on naming an indiscernible sequence.Comment: 17 pages, some typos and mistakes corrected, overall presentation improved, more details for the examples are give