Related papers: On classification of continuous first order theori…
This paper deals with iteration stable (STIT) tessellations, and, more generally, with a certain class of tessellations that are infinitely divisible with respect to iteration. They form a new, rich and flexible class of spatio-temporal…
We study the stability and bifurcation of relative equilibria of a particle on the Lie group $SO(3)$ whose motion is governed by an $SO(3)\times SO(2)$ invariant metric and an $SO(2)\times SO(2)$ invariant potential. Our method is to reduce…
About 25 years ago, it came to light that a single combinatorial property determines both an important dividing line in model theory (NIP) and machine learning (PAC-learnability). The following years saw a fruitful exchange of ideas between…
We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated $\Pi^1_1$-comprehension and the existence of admissible sets, over weak…
An ordered Banach space $X$ is said to have the Levi property or to be regular if every increasing order bounded net (equivalently, sequence) is norm convergent. We prove four theorems related to this classical concept: (i) The Levi…
There are classical theorems of analysis which, given certain conditions on a perturbation, assert stability of the essential and absolutely continuous components of the spectrum of a self-adjoint operator. Whereas the singular component is…
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, but not actually…
The first-order relativistic fluid theories of dissipation proposed by Eckart and Landau-Lifshitz have been proved to be unstable. They admit solutions which start in proximity of equilibrium and depart exponentially from it. We show that…
This work explores Lyapunov characterizations of the input-output-to-state stability (IOSS) property for nonlinear systems. The notion of IOSS is a natural generalization of the standard zero-detectability property used in the linear case.…
We study a class of conditional independence models for discrete data with the property that one or more log-linear interactions are defined within two different marginal distributions and then constrained to 0; all the conditional…
A first-order conditional logic is considered, with semantics given by a variant of epsilon-semantics, where p -> q means that Pr(q | p) approaches 1 super-polynomially --faster than any inverse polynomial. This type of convergence is…
An appropriateness of a space asymmetry of shape invariant potentials with scaling of parameters and potentials of Shabat and Spiridonov in calculation of their forms, wave functions and discrete energy spectra has proved and has…
The aim of this paper is to present necessary and sufficient conditions for nonuniform power instability property of linear discrete-time systems in Banach spaces. A characterization of the nonuniform power instability in terms of Lyapunov…
We study model-theoretic stability and independence in Banach lattices of the form $L_p(X,U,\mu)$, where $1 \leq p < \infty$. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real…
Measuring how quickly iterative methods converge is essential in computational mathematics, but current approaches have significant limitations. Q-order analysis requires strict smoothness conditions, while R-order analysis lacks precision…
Determination of stability and instability of singular points in nonlinear dynamical systems is an important issue that has attracted considerable attention in different fields of engineering and science. So far, different well-defined…
A Banach space is said to have the ball-covering property (abbreviated BCP) if its unit sphere can be covered by countably many closed, or equivalently, open balls off the origin. Let $K$ be a locally compact Hausdorff space and $X$ be a…
Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is…
We prove that the class of Banach spaces $Y$ such that the pair $(\ell_1, Y)$ has the Bishop-Phelps-Bollob\'as property for operators is stable under finite products when the norm of the product is given by an absolute norm. We also provide…
I propose the new axiom of Indifferent Points (IP) that can replace continuity axioms in classical expected utility representations under the Independence Axiom over a finite set of prices. IP asserts the existence of a set of indifferent…