Related papers: Uncountable n-Dimensional Excellent Regular Local …
The goal of this paper is to show the following result: For every integer $n\geq 2$ there is a countable orderable group such that its space of orders is countable and has Cantor-Bendixson rank $n$. We show this by explicitly constructing a…
We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…
We prove that every orientable infinite type surface without boundary and finite genus has a Riemann surface structure such that its modular group of quasiconformal homeomorphisms is countable.
We study semantic and syntactic properties of spherical orders and their elementary theories, including finite and dense orders and their theories. It is shown that theories of dense $n$-spherical orders are countably categorical and…
We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…
The strong global dimension of a ring is the supremum of the length of perfect complexes that are indecomposable in the derived category. In this note we characterize the noetherian commutative rings that have finite strong global…
We demonstrate a class of local (Noetherian) unique factorization domains (UFDs) that are noncatenary at infinitely many places. In particular, if $A$ is in our class of UFDs, then the prime spectrum of $A$ contains infinitely many disjoint…
We give an elementary proof of a result which is not as well known as it should be: a ring with a specified finite number of zero divisors is finite, with a precise bound on its order.
Let $T$ be a complete local (Noetherian) ring of characteristic zero. We find necessary and sufficient conditions for $T$ to be the completion of a quasi-excellent local domain. In the case that $T$ contains the rationals, we provide…
Can there be a structure space-type theory for an arbitrary class of ideals of a ring? The ideal spaces introduced in this paper allows such a study and our theory includes (but not restricted to) prime, maximal, minimal prime, strongly…
We show that there exist closed manifolds with arbitrarily small transcendental simplicial volumes. Moreover, we exhibit an explicit uncountable family of (transcendental) real numbers that are not realised as the simplicial volume of a…
This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…
We show that there are infinitely many nonisomorphic quandle structures on any topogical space $X$ of positive dimension. In particular, we disprove the conjecture, asserting that there are no nontrivial quandle structures on the closed…
We prove that any $n$-dimensional Hamiltonian operator with pure point spectrum is completely integrable via self-adjoint first integrals. Furthermore, we establish that given any closed set $\Sigma\subset\mathbb R$ there exists an…
Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable,…
In this note, it is proved that over a commutative noetherian henselian non-Gorenstein local ring there are infinitely many isomorphism classes of indecomposable totally reflexive modules, if there is a nonfree cyclic totally reflexive…
Let $p/q$ ($p, q \in \mathbb{N}^*$) be a positive rational number such that $p > q^2$. We show that for any $\epsilon > 0$, there exists a set $A(\epsilon) \subset [0, 1[$, with finite border and with Lebesgue measure $< \epsilon$, for…
A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However,…
Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…
A commutative ring $R$ is stable provided every ideal of $R$ containing a nonzerodivisor is projective as a module over its ring of endomorphisms. The class of stable rings includes the one-dimensional local Cohen-Macaulay rings of…