Related papers: Reverse mathematics, well-quasi-orders, and Noethe…

We introduce a new class of commutative {non-noetherian} rings, called $n$-subperfect rings, generalizing the almost perfect rings that have been studied recently by Fuchs-Salce. For an integer $n \ge 0$, the ring $R$ is $n$-subperfect if…

We consider two-variable first-order logic FO2 over infinite words. Restricting the number of nested negations defines an infinite hierarchy; its levels are often called the half-levels of the FO2 quantifier alternation hierarchy. For every…

We give group analogs of two important theorems of real algebra concerning convex valuations, one of which is the Baer-Krull theorem. We do this by using quasi-orders, which gives a uniform approach to valued and ordered groups. We also…

We characterize the strength, in terms of Weihrauch degrees, of certain problems related to Ramsey-like theorems concerning colourings of the rationals and of the natural numbers. The theorems we are chiefly interested in assert the…

The notion of well order admits an alternative definition in terms of embeddings between initial segments. We use the framework of reverse mathematics to investigate the logical strength of this definition and its connection with…

We show that every quasi-compact and quasi-separated algebraic stack can be approximated by a noetherian algebraic stack. We give several applications such as eliminating noetherian hypotheses in the theory of good moduli spaces.

Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of various problems. Schaefer proved in 1978 that truth satisfaction of propositional formulas given a…

Let $A$ be an algebra with iso-class of simple modules $\mathcal{S}$ of cardinality $n$. A total ordering on $\mathcal{S}$ making every Weyl module Schurian and every indecomposable projective module filtered by the Weyl modules is called…

We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the…

We introduce the notion of right pre-resolutions (quasi-resolutions) for noncommutative isolated singularities, which is a weaker version of quasi-resolutions introduced by Qin-Wang-Zhang. We prove that right quasi-resolutions for…

We prove that the Wadge order on the Borel subsets of the Scott domain is not a well-quasi-order, and that this feature even occurs among the sets of Borel rank at most 2. For this purpose, a specific class of countable 2-colored posets…

We prove that the quantum graph algebra and the quantum moduli algebra associated to a punctured sphere and complex semisimple Lie algebra $\mathfrak{g}$ are Noetherian rings and finitely generated rings over $\mathbb{C}(q)$. Moreover, we…

The connection between symmetries and conservation laws as made by Noether's theorem is extended to the context of causal variational principles and causal fermion systems. Different notions of continuous symmetries are introduced. It is…

An open question in reverse mathematics is whether the cohesive principle, $\COH$, is implied by the stable form of Ramsey's theorem for pairs, $\SRT^2_2$, in $\omega$-models of $\RCA$. One typical way of establishing this implication would…

We show that for any C*-algebra $A$, a sufficiently large Hilbert space $H$ and a unit vector $\xi \in H$, the natural application $rep(A:H) \to Q(A)$, $\pi \mapsto \langle \pi(-)\xi,\xi \rangle$ is a topological quotient, where $rep(A:H)$…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

When quantum back-reaction by fluctuations, correlations and higher moments of a state becomes strong, semiclassical quantum mechanics resembles a dynamical system with a high-dimensional phase space. Here, systematic computational methods…

Using the Noether Charge formulation, we study a perturbation of the conserved gravitating system. By requiring the boundary term in the variation of the Hamiltonian to depend only on the symplectic structure, we propose a general…

Let $R$ be a commutative, local, Noetherian ring. In a past article, the first author developed a theory of $R$-algebras, termed seeds, that can be mapped to balanced big Cohen-Macaulay $R$-algebras. In prime characteristic $p$, seeds can…

The reduced ring order (rr-order) is a natural partial order on a reduced ring $R$ given by $r\le_{\text{rr}} s$ if $r^2=rs$. It can be studied algebraically or topologically in rings of the form $\text{C}(X)$. The focus here is on those…