Let [Formula: see text] be an alternating group of degree n. We know that [Formula: see text] is 2-fold OD-characterizable and [Formula: see text] is 6-fold OD-characterizable. In this note, we first show that [Formula: see text] and [Formula: see text] are 14-fold and 7-fold OD-characterizable, respectively, and second show that certain groups [Formula: see text] with that [Formula: see text] ...

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

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

Let $L := U_3(11)$. In this article, we classify groups with the same order and degree pattern as an almost simple group related to $L$. In fact, we prove that $L$, $L:2$ and $L:3$ are OD-characterizable, and $L:S_3$ is $5$-fold OD-characterizable.

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