Related papers: Reverse mathematics, well-quasi-orders, and Noethe…
Daligault, Rao and Thomass\'e asked whether a hereditary class of graphs well-quasi-ordered by the induced subgraph relation has bounded clique-width. Lozin, Razgon and Zamaraev recently showed that this is not true for classes defined by…
We introduce a notion of Q-algebra that can be considered as a generalization of the notion of Q-manifold (a supermanifold equipped with an odd vector field obeying {Q,Q} =0). We develop the theory of connections on modules over Q-algebras…
We prove a Painlev\'e theorem for bounded quasiregular curves in Euclidean spaces extending removability results for quasiregular mappings due to Iwaniec and Martin. The theorem is proved by extending a fundamental inequality for volume…
The aim of this paper is to discus the relations between various notions of sequential completeness and the corresponding notions of completeness by nets or by filters in the setting of quasi-metric spaces. We propose a new definition of…
Let $k$ be a field. In this paper, we introduce the notions of $\textit{reduction order}$ and $\textit{reduction-factorization}$ on words, and use them to show that any right or left Noetherian pointed Hopf algebra over $k$ is affine. This…
The purpose of this work is to investigate root finding problems defined on (quasi-)metric spaces, and ranging in Euclidean spaces. The motivation for this line of inquiry stems from recent models in biology and phylogenetics, where…
We show that unital simple C*-algebras with tracial topological rank zero which are locally approximated by subhomogeneous C^-algebras can be classified by their ordered $K$-theory. We apply this classification result to show that certain…
We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…
We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework…
A real function $f$ is ward continuous if $f$ preserves quasi-Cauchyness, i.e. $(f(x_{n}))$ is a quasi-Cauchy sequence whenever $(x_{n})$ is quasi-Cauchy; and a subset $E$ of $\textbf{R}$ is quasi-Cauchy compact if any sequence…
This paper extends the notion of geometric control in algebraic K-theory from additive categories with split exact sequences to other exact structures. In particular, we construct exact categories of modules over a Noetherian ring filtered…
Fedorchuk's fully closed (continuous) maps and resolutions are applied in constructions of non-metrizable higher-dimensional analogues of Anderson, Choquet, and Cook's continua. Certain theorems on dimension-lowering maps are proved for…
We consider conditions which force a well-quasi-ordered poset (wqo) to be better-quasi-ordered (bqo). In particular we obtain that if a poset $P$ is wqo and the set $S_{\omega}(P)$ of strictly increasing sequences of elements of $P$ is bqo…
A class of algebras called down-up algebras was introduced by G. Benkart and T. Roby. We classify the finite dimensional simple modules over Noetherian down-up algebras and show that in some cases every finite dimensional module is…
For a group $G$, we construct a quasi morphism from its left orderings and the map from the space of left orderings to the second bounded cohomology. We show that these maps reflect various properties of the group orderings.
Generalized quasi-topological gravities (GQTGs) are higher-curvature extensions of Einstein gravity in $D$-dimensions. Their defining properties include possessing second-order linearized equations of motion around maximally symmetric…
Let g be a simple Lie algebra and q transcendental. We consider the category C_P of finite-dimensional representations of the quantum loop algebra Uq(Lg) in which the poles of all l-weights belong to specified finite sets P. Given the data…
The purposes of this note are the following two; we first generalize Okada-Takeuti's well quasi ordinal diagram theory, utilizing the recent result of Dershowitz-Tzameret's version of tree embedding theorem with gap conditions. Second, we…
We study the computability-theoretic complexity and proof-theoretic strength of the following statements: (1) "If X is a well-ordering, then so is epsilon_X", and (2) "If X is a well-ordering, then so is phi(alpha,X)", where alpha is a…
In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…