Let $T_1, T_2$ be regular trees of degrees $d_1, d_2 \geq 3$. also $\Gamma \leq \mathrm{Aut}(T_1) \times \mathrm{Aut}(T_2)$ a group acting freely and transitively on $VT_1 VT_2$. For $i=1$ $2$, assume that the local action $\Gamma$ $T_i$ is $2$-transitive; if moreover $d_i 7$, contains $\mathrm{Alt}(d_i)$. We show irreducible, unless $(d_1, d_2)$ belongs to an explicit small set exceptional val...

In this article, we consider the uniqueness of the difference monomials $f^{n}(z)f(z+c)$. Suppose that $f(z)$ and $g(z)$ are transcendental meromorphic functions with finite order and $E_k(1, f^{n}(z)f(z+c))=E_k(1, g^{n}(z)g(z+c))$. Then we prove that if one of the following holds (i) $n geq 14$ and $kgeq 3$, (ii) $n geq 16$ and $k=2$, (iii) $n geq 22$ and $k=1$, then $f(z)equiv t_1g(z)$ or $f(...

BACKGROUND Chronic obstructive pulmonary disease (COPD) is a respiratory disorder with increasing prevalence and mortality. It is associated with airway obstruction, increased airway hyper-responsiveness (AHR), and ongoing airway and lung inflammation dominated by CD8 lymphocytes and neutrophils. Single-nucleotide polymorphisms (SNPs) in a disintegrin and metalloprotease 33 (ADAM33) gene have b...

We introduce an algorithm for a search of extremal fractal curves in large curve classes. It heavily uses SAT-solvers—heuristic algorithms that find models CNF boolean formulas. Our was implemented and applied to the surjective $$\gamma :[0,1]\rightarrow [0,1]^d$$ with minimal dilation $$\begin{aligned} \sup _{t_1<t_2}\frac{\Vert \gamma (t_2)-\gamma (t_1)\Vert ^d}{t_2-t_1}. \end{aligned}$$ repo...

In the historical development of Riesz spaces, we can trace history ordered vector spaces to International Mathematical Congress in Bologna 1928. Studies related with f-Algebras for Dedekind complete space defined were initiated by Nakano and their current definition was made Amemiya, Birkhoff Pierce.The revival f-algebras, which had a tendency slow down period time, emerged as result Pagter's ...

The constraint satisfaction problem (CSP) of a first-order theory T is the computational deciding whether given conjunction atomic formulas satisfiable in some model T. We study complexity CSP$(T_1 \cup T_2)$ where $T_1$ and $T_2$ are theories with disjoint finite relational signatures. prove that if temporal structures, i.e., structures all relations have definition $(Q;<)$, then P or NP-compl...

In this paper, the Urysohn, completely Hausdorff and completely regular axioms in $L$-topological spaces are generalized to $L$-fuzzy topological spaces. Each $L$-fuzzy topological space can be regarded to be Urysohn, completely Hausdorff and completely regular tosome degree. Some properties of them are investigated. The relations among them and $T_2$ in $L$-fuzzy topological spaces are discussed.