Related papers: Pure $\Sigma_2$-Elementarity beyond the Core
A 2-structure $\sigma$ consists of a vertex set $V(\sigma)$ and of an equivalence relation $\equiv_\sigma$ defined on $(V(\sigma)\times V(\sigma))\setminus\{(v,v):v\in V(\sigma)\}$. Given a 2-structure $\sigma$, a subset $M$ of $V(\sigma)$…
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…
It is shown that the Coulomb correlation problem for a system of two electrons (two charged particles) in an external oscillator potential possesses a hidden $sl_2$-algebraic structure being one of recently-discovered quasi-exactly-solvable…
While semisimple artinian rings and semisimple coalgebras over a field can be described in terms of matrices (either matrix ring over division rings or comatrix coalgebras over the ground field), semisimple corings seem to have a more…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].
It is consistent that for every n >= 2, every stationary subset of omega_n consisting of ordinals of cofinality omega_k where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omega_{n-1}. We also show that this result…
We motivate and study an infinite sequence of binary operations on the ordinal numbers, extending the standard arithmetic on the ordinals to higher degrees of iteration. Connections to the hyperoperations on the natural numbers are…
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other…
In (Arnold, 1985), V.I. Arnold has obtained normal forms and has developed a classifier for, in particular, all isolated hypersurface singularities over the complex numbers up to modality 2. Building on a series of 105 theorems, this…
This article treats the question of fundamentality of the translates of a polyharmonic spline kernel (also known as a surface spline) in the space of continuous functions on a compact set $\Omega\subset \RR^d$ when the translates are…
We stratify intuitionistic first-order logic over $(\forall,\to)$ into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these…
We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields…
This paper is mainly devoted to a structure study of Hom-alternative algebras . Equivalent conditions for Hom-alternative algebras being solvable, simple and semi-simple are displayed. Moreover some results about Hom-alternative bimodule…
An elementary, at the undergraduate level derivation is given of precise upper bounds of the number of various RNA secondary structures. The method works when the generating function has multiple singularities at the circle of convergence,…
In this manuscript, we work over the non-chain ring $\mathcal{R} = \mathbb{F}_2[u]/\langle u^3 - u\rangle $. Let $m\in \mathbb{N}$ and let $L, M, N \subseteq [m]:=\{1, 2, \dots, m\}$. For $X\subseteq [m]$, define $\Delta_X:=\{v \in…
Let E be the total space of a locally trivial torus bundle over the surface \Sigma_g of genus g>1. Using the Seiberg--Witten theory and spectral sequences we prove that E carries a symplectic structure if and only if the homology class of…
This paper is divided into two parts. The first is a review, through categorical lenses, of the classical theory of regular-singular differential systems over $C((x))$ and $\mathbb P^1_C\smallsetminus\{0,\infty\}$, where $C$ is…
We study the expressive power and complexity of second-order revised Krom logic (SO-KROM$^{r}$). On ordered finite structures, we show that its existential fragment $\Sigma^1_1$-KROM$^r$ equals $\Sigma^1_1$-KROM, and captures NL. On all…
We classify all simple supermodules over the queer Lie superalgebra $\mathfrak{q}_{2}$ up to classification of equivalence classes of irreducible elements in a certain Euclidean ring.