Related papers: On classification of continuous first order theori…
We study the stability of symmetric trajectories 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 the number…
The set of continuous or Baire class 1 functions defined on a metric space $X$ is endowed with the natural pointwise partial order. We investigate how the possible lengths of well-ordered monotone sequences (with respect to this order)…
We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…
Consider a random sample $X_1 , X_2 , ..., X_n$ drawn independently and identically distributed from some known sampling distribution $P_X$. Let $X_{(1)} \le X_{(2)} \le ... \le X_{(n)}$ represent the order statistics of the sample. The…
For a sequence of random structures with $n$-element domains over a relational signature, we define its first order (FO) complexity as a certain subset in the Banach space $\ell^{\infty}/c_0$. The well-known FO zero-one law and FO…
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup…
We streamline treatments of the interpretability orders $\trianglelefteq^*_\kappa$ of Shelah, the key new notion being that of pseudosaturation. Extending work of Malliaris and Shelah, we classify the interpretability orders on the stable…
We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.
Our first purpose is to study the stability of linear flows on real, connected, compact, semisimple Lie groups. After, we study and classify periodic orbits of linear and invariant flows. In particular, we obtain a version of…
A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. In this paper, we have obtained that the space $B^{st}_1(X)$ of pointwise…
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…
For a Tychonoff space $X$, we will denote by $USC_{p}(X)$ ($B_1(X)$) a set of all real-valued upper semicontinuous functions (a set of all Baire functions of class 1) defined on $X$ endowed with the pointwise convergence topology. In this…
Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary…
We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($\kappa_{\text{cdt}}, \kappa_{\text{sct}}, \kappa_{\text{inp}}$, respectively). In particular, we obtain a…
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…
Chaotic linear dynamics deals primarily with various topological ergodic properties of semigroups of continuous linear operators acting on a topological vector space. We treat questions of characterizing which of the spaces from a given…
A previous article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs. They have infinite-dimensional Lie point symmetry groups…
We introduce UDSp-property (resp. UDTq-property) in Banach lattices as the property that every normalized disjoint sequence has a subsequence with an upper p-estimate (resp. lower q-estimate). In the case of rearrangement invariant spaces,…
We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $\Pi^0_3$-complete; and the property of being an Ehrenfeucht…
We study the Borel-reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is superstable with the strong…