Related papers: A note on orderability and Dehn filling
We study sigma-ideals and regularity properties related to the "filter-Laver" and "dual-filter-Laver" forcing partial orders. An important innovation which enables this study is a dichotomy theorem proved recently by Miller [1]. [1] Arnold…
In this paper, we present a new necessary and sufficient condition for which the supremum exists with respect to the logic order. Moreover, we give out a new and much simpler representation of the supremum with respect to the order, our…
When studying deformations of an $A$-module $M$, Laudal and Yau showed that one can consider 1-cocycles in the Hochschild cohomology of $A$ with coefficients in the bi-module $End_k(M).$ With this in mind, the use of higher order Hochschild…
This paper initiates the study of circular orderability of $3$-manifold groups, motivated by the L-space conjecture. We show that a compact, connected, $\mathbb{P}^2$-irreducible $3$-manifold has a circularly orderable fundamental group if…
Recently, Amderberhan, Griffin, Ono, and Singh started the study of "traces of partition Eisenstein series" and used it to give explicit formulas for many interesting functions. In this note we determine the precise spaces in which they…
The motive of this note is twofold. Inspired by the recent development of a new kind of Hardy inequality, here we discuss the corresponding Hardy-Rellich and Rellich inequality versions in the integral form. The obtained sharp Hardy-Rellich…
We investigate properties of an ordinal sum of uninorms introduced in [8] in the case that the summands are proper representable uninorms. We show sufficient and necessary conditions for a uninorm to be an ordinal sum of representable…
Motivated by applications in automated verification of higher-order functional programs, we develop a notion of constrained Horn clauses in higher-order logic and a decision problem concerning their satisfiability. We show that, although…
In this paper we expound some basic ideas of proof theory for theories of ordinals such that there are many stable ordinals below the ordinals.
We give necessary and sufficient condition for a sesquilinear form to be integrable with respect to a faithful normal state on a von Neumann algebra.
In this article, we study the Schr\"odinger equation posed in the Euclidean space. We prove observability inequalities for measurable sets that are thick with respect to decaying densities. The proof relies on quantitative uncertainty…
We address a question posed by Ono, prove a general result for powers of an arbitrary prime, and provide an explanation for the appearance of higher congruence moduli for certain small primes. One of our results coincides with a recent…
Necessary and sufficient conditions are given for the existence of extended Schmidt decompositions, with more than two subspaces.
We give a criterion for separability of subgroups of certain outer automorphism groups. This answers questions of Hagen and Sisto, by strengthening and generalizing a result of theirs on mapping class groups.
We prove that there are single Henkin quantifiers such that first order logic augmented by one of these quantifiers is undecidable in the empty vocabulary. Examples of such quantifiers are given.
In this article we study an elliptic problem with degenerate coercivity. We will show that the presence of some lower order terms has a regularizing effect on the solutions.
A sufficient condition of the convergence of an exotic formal series (a kind of power series with complex exponents) solution to an ODE of a general form is proposed.
We prove a necessary optimality condition of Euler-Lagrange type for quantum variational problems involving Hahn's derivatives of higher-order.
A new entanglement measure, which is called D-concurrence, is proposed. Then the upper and lower bounds for D-concurrence are obtained and the relationship between D-concurrence and the usual concurrence of Wootters was established. In…
A criterion for determining exactly when an order of a maximal subfield of a central simple algebra over a number field can be embedded into an order of this algebra is given. Various previous results have been generalized and recovered by…