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):...

Building on [4], [8] and [9] we study which cardinals are characterizable by a Scott sentence, in the sense that φM characterizes κ, if it has a model of size κ, but not of κ. We show that if אα is characterizable by a Scott sentence and β < ω1, then אα+β is characterizable by a Scott sentence. If 0 < γ < ω1, then the same is true for 2אα+γ . Also, אא0 α is characterizable by a Scott sentence. ...

Let $G$ be a finite group and $pi(G)$ be the set of all the prime‎ ‎divisors of $|G|$‎. ‎The prime graph of $G$ is a simple graph‎ ‎$Gamma(G)$ whose vertex set is $pi(G)$ and two distinct vertices‎ ‎$p$ and $q$ are joined by an edge if and only if $G$ has an‎ ‎element of order $pq$‎, ‎and in this case we will write $psim q$‎. ‎The degree of $p$ is the number of vertices adjacent to $p$ and is‎ ...

We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it decides equality of characterizable differential ideals contained in each other.

We call a differential ideal universally characterizable, if it is characterizable w.r.t. any ranking on partial derivatives. We propose a factorization-free algorithm that represents a radical differential ideal as a finite intersection of universally characterizable ideals. The algorithm also constructs a universal characteristic set for each universally characterizable component, i.e., a fin...

A formal framework is given for the postulate characterizability of a class of belief revision operators, obtained from a class of partial preorders using minimization. It is shown that for classes of posets characterizability is equivalent to a special kind of definability in monadic second-order logic, which turns out to be incomparable to first-order definability. Several examples are given ...

The notions of finite and infinite second-order characterizability of cardinal and ordinal numbers are developed. Several known results for the case of finite characterizability are extended to infinite characterizability, and investigations of the secondorder theory of ordinals lead to some observations about the Fraenkel-Carnap question for well-orders and about the relationship between ordin...

A spontaneously spoken, natural Japanese discourse contains many instances of the so-called redundant interjections and of backchannel utterances. These expressions have not hitherto received much attention and few systematic analyses have been made. We show that these utterances are characterizable as discourse markers, and that they comprise a well-defined category, characterizable in a regul...