the prime graph $gamma(g)$ of a group $g$ is a graph with vertex set $pi(g)$, the set of primes dividing the order of $g$, and two distinct vertices $p$ and $q$ are adjacent by an edge written $psim q$ if there is an element in $g$ of order $pq$. let $pi(g)={p_{1},p_{2},...,p_{k}}$. for $pinpi(g)$, set $deg(p):=|{q inpi(g)| psim q}|$, which is called the degree of $p$. we also set $d(g):...

We introduce the notion of a degree spectrum of a complete theory to be the set of Turing degrees that contain a copy of some model of the theory. We generate examples showing that not all degree spectra of theories are degree spectra of structures and vice-versa. To this end, we give a new necessary condition on the degree spectrum of a structure, specifically showing that the set of PA degree...

let $g$ be a graph and let $m_{ij}(g)$, $i,jge 1$, be the number of edges $uv$ of $g$ such that ${d_v(g), d_u(g)} = {i,j}$. the {em $m$-polynomial} of $g$ is introduced with $displaystyle{m(g;x,y) = sum_{ile j} m_{ij}(g)x^iy^j}$. it is shown that degree-based topological indices can be routinely computed from the polynomial, thus reducing the problem of their determination in each particular ca...

a recently published paper [t. došlić, this journal 3 (2012) 25-34] considers the zagrebindices of benzenoid systems, and points out their low discriminativity. we show thatanalogous results hold for a variety of vertex-degree-based molecular structure descriptorsthat are being studied in contemporary mathematical chemistry. we also show that theseresults are straightforwardly obtained by using...

We show that any finite structure consistent with the axioms of jump uppersemilattices with least element can be embedded into the jump uppersemilattice of Turing degrees with least element. This result implies that the existential theory of this structure is decidable.