We call a positive real number $\lambda$ admissible if it belongs to the Lagrange spectrum and there exists an irrational number $\alpha$ such that $\mu(\alpha)=\lambda$. Here $\mu(\alpha)$ denotes the Lagrange constant of $\alpha$ - maximal real number $c$ such that $\...

We answer a question raised by Pillay, that is whether the infinite weight of the generic type of the free group is witnessed in $F_{\omega}$. We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we obse...

Given a directed graph $E$ and a labeling $\mathcal{L}$, one forms the labeled graph $C^*$-algebra by taking a weakly left--resolving labeled space $(E, \mathcal{L}, \mathcal{B})$ and considering a universal generating family of partial isometries and projections. In th...

Let us assume that a 2-torus homeomorphism $f$ isotopic to the identity has a segment of irrational slope as its rotation set $\rho(F)$. We prove that if the chain recurrent set $R(f)$ of $f$ is not chain transitive, then $\rho(F)$ has a rational point realized by a per...

A many-server heavy-traffic FCLT is proved for the $G_t/M/s_t+\mathit {GI}$ queueing model, having time-varying arrival rate and staffing, a general arrival process satisfying a FCLT, exponential service times and customer abandonment according to a general probability ...

The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and th...

Higher criticism (HC) is a popular method for large-scale inference problems based on identifying unusually high proportions of small $p$-values. It has been shown to enjoy a lower-order optimality property in a simple normal location mixture model which is shared by th...