Related papers: Keisler's Order is Not Linear, Assuming a Supercom…
In this paper, we investigate the noncompact prescribed Chern scalar curvature problem which reduces to solve a Kazdan-Warner type equation on noncompact non-K\"{a}hler manifolds. By introducing an analytic condition on noncompact…
The existence of decompositions of the nonlinear integrable systems not only permits us to establish so-called linear superposition solutions but also to derive new nonlinear integrable coupled systems. Restricting our attention to the…
We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $\theta$-supercompact, for any desired $\theta$. In addition, we prove several global results…
We say that a finite almost simple $G$ with socle $S$ is admissible (with respect to the spectrum) if $G$ and $S$ have the same sets of orders of elements. Let $L$ be a finite simple linear or unitary group of dimension at least three over…
We prove that the equivariant concordance group $\widetilde{\mathcal{C}}$ is not abelian by exhibiting an infinite family of nontrivial commutators.
In the note we prove that all composition factors of a finite group possessing a Carter subgroup of odd order either are abelain, or are isomorphic to $L_2(3^{2n+1})$.
In this article, we prove a representation theorem that any generic line arrangement in the plane over an ordered field which has global cyclicity can be represented isomorphically by a line arrangement with a given set of distinct slopes…
A generalization of the already studied transformations of the linear differential equation into a system of the first order equations is given. The proposed transformation gives possibility to get new forms of the N-dimensional system of…
Three comparison criteria are obtained for second order Riccati equations. On the basis of these criteria some global existence theorems are proved mentioned equations. The results obtained are used to derive a non oscillation criterion for…
We establish a sharp upper estimate for the order of a canonical system in terms of the Hamiltonian. This upper estimate becomes an equality in the case of Krein strings. As an application we prove a conjecture of Valent about the order of…
It is well-known that every transitive linear order is exponentiable. However, is the converse true? This question was posed in Chapter 8 of the textbook titled "Linear Orderings" by Rosenstein. We define the class CTLO of cyclically…
We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use…
We give a criterium when a linearly ordered topological semilattice is $H$-closed. We also prove that any linearly ordered $H$-closed topological semilattice is absolutely $H$-closed and we show that every linearly ordered semilattice is a…
Assuming the existence of a supercompact cardinal, we construct a model where, for some uncountable regular cardinal $\kappa$, there are no $\Sigma^1_1(\kappa)-\kappa-$mad families.
Given a nonempty set $\mathcal{L}$ of linear orders, we say that the linear order $L$ is $\mathcal{L}$-convex embeddable into the linear order $L'$ if it is possible to partition $L$ into convex sets indexed by some element of $\mathcal{L}$…
We study special linear systems called "very special" whose dimension does not satisfy a Clifford type inequality given by Huisman. We classify all these very special linear systems when they are compounded of an involution. Examples of…
We show that, for every linear ordering of $[2]^n$, there is a large subcube on which the ordering is lexicographic. We use this to deduce that every long sequence contains a long monotone subsequence supported on an affine cube. More…
The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.
We prove the following classification theorem of the ``Glimm -- Effros'' type for Borel order relations: a Borel partial order on the reals either is Borel linearizable or includes a copy of a certain Borel partial order $\meo$ which is not…
A class of two-dimensional systems of second-order ordinary differential equations is identified in which a system requires fewer Lie point symmetries than required to solve it. The procedure distinguishes among those which are…