منابع مشابه
Computable categoricity of trees of finite height
We characterize the structure of computably categorical trees of finite height, and prove that our criterion is both necessary and sufficient. Intuitively, the characterization is easiest to express in terms of isomorphisms of (possibly infinite) trees, but in fact it is equivalent to a Σ3-condition. We show that all trees which are not computably categorical have computable dimension ω. Finall...
متن کاملOn factorization forests of finite height
Simon (Theoret. Comput. Sci. 72 (1990) 65–94) has proved that every morphism from a free semigroup to a $nite semigroup S admits a Ramseyan factorization forest of height at most 9|S|. In this paper, we prove the same result of Simon with an improved bound of 7|S|. We provide a simple algorithm for constructing a factorization forest. In addition, we show that the algorithm cannot be improved s...
متن کاملOn the breakup of fluid rivulets
We study the stability of rivulets on horizontal substrates. The implemented model includes the effects of capillarity, fluid-solid interaction, and gravity if appropriate, within the framework of the lubrication approximation. We find that the results compare favorably with those in literature, in the regime where previous analyses are valid. By isolating the effect of van der Waals interactio...
متن کاملA Counterexample to the Finite Height Conjecture
By J onsson's Lemma, the variety V(K) generated by a nite lattice has only nitely many subvarieties. This led to the conjecture that, conversely, if a lattice variety has only nitely many subvarieties, then it is generated by a nite lattice. A stronger form of the conjecture states that a nitely generated variety V(K) has only nitely many covers in the lattice of lattice varieties, and that eac...
متن کاملSimilarity solutions for slender rivulets with thermocapillarity
We use the lubrication approximation to investigate the steady flow of slender non-uniform rivulets of a viscous fluid on an inclined plane that is either heated or cooled relative to the surrounding atmosphere. Four non-isothermal situations in which thermocapillary effects play a significant role are considered. We derive the general equations for a slender rivulet subject to gravity, surface...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Colloids and Surfaces A: Physicochemical and Engineering Aspects
سال: 2021
ISSN: 0927-7757
DOI: 10.1016/j.colsurfa.2020.126012