Related papers: The Schroder-Bernstein property for a-saturated mo…
Based on our previous study [IS2] we develop fully the stationary scattering theory for the Schrodinger operator on a manifold possessing an escape function. A particular class of examples are manifolds with Euclidean and/or hyperbolic…
Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…
An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…
A version of the second order phase transition theory, in which the Nernst theorem holds automatically, is proposed. The theory is constructed in terms of the order parameter and the (configurational) entropy. It faithfully reproduces the…
A matrix model which has the manifest ten-dimensional N=2 super Poincare invariance is proposed. Interactions between BPS-saturated states are analyzed to show that massless spectrum is the same as that of type IIB string theory. It is…
Suppose that $(x_s)_{s\in S}$ is a normalized family in a Banach space indexed by the dyadic tree $S$. Using Stern's combinatorial theorem we extend important results from sequences in Banach spaces to tree-families. More precisely,…
We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…
The structure theory for the quadratic algebra generated by first and second order constants of the motion for 2D second order superintegrable systems with nondegenerate (3-parameter) and or 2-parameter potentials is well understood, but…
The Schr\"oder-Bernstein theorem states that, for any two sets P and Q, if there exists an injection from P to Q and an injection from Q to P, then there must exist a bijection between the two sets. Classically, it follows that the ordering…
We introduce and investigate a quantitative version of Steinhaus' property $(S)$ for Banach spaces, called the uniform property $(S)$. A Banach space $X$ is said to have uniform $(S)$ if for every pair of distinct unit vectors $x,y\in X$…
We prove that a saturated weakly branch group $G$ has the property $R_\infty$ (any automorphism $\phi:G\to G$ has infinite Reidemeister number) in each of the following cases: 1) any element of $Out(G)$ has finite order; 2) for any $\phi$…
In this note, we prove that smooth self-shrinkers in $\Real^{n+1}$, that are entire graphs, are hyperplanes. Previously Ecker and Huisken showed that smooth self-shrinkers, that are entire graphs and have at most polynomial growth, are…
Using Langer's construction of Bridgeland stability conditions on normal surfaces, we prove Reider-type theorems generalizing the work done by Arcara-Bertram in the smooth case. Our results still hold in positive characteristic or when…
We extend inner fluctuations to spectral triples that do not fulfill the first-order condition. This involves the addition of a quadratic term to the usual linear terms. We find a semi-group of inner fluctuations, which only depends on the…
The theory of two binary relations has the strong amalgamation property when the first relation is assumed to be coarser than the second relation, and each relation satisfies a chosen set of properties from the following list: transitivity,…
Totally positive matrices are related with the shape preserving representations of a space of functions. The normalized B-basis of the space has optimal shape preserving properties. B-splines and rational Bernstein bases are examples of…
We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…
We continue our study of scattering theory and dispersive properties for one-dimensional charge transfer models, namely linear Schr\"odinger equations with multiple moving potentials. By the discovery of a refined structure of the…
We study a class of first-order theories whose complete quantifier-free types with one free variable either have a trivial positive part or are isolated by a positive quantifier-free formula--plus a few other technical requirements. The…
We prove that the common theory of nonabelian free groups has the dimensional order property, or DOP, implying, for example, that there is no reasonable structure theorem for $\aleph_1$-saturated models of this theory.