Related papers: Combinatorial and number-theoretic properties of g…
Julia Robinson has given a first-order definition of the rational integers $\mathbb Z$ in the rational numbers $\mathbb Q$ by a formula $(\forall \exists \forall \exists)(F=0)$ where the $\forall$-quantifiers run over a total of 8…
Cauchy reals can be defined as a quotient of Cauchy sequences of rationals. The limit of a Cauchy sequence of Cauchy reals is defined through lifting it to a sequence of Cauchy sequences of rationals. This lifting requires the axiom of…
Based on continued fractions with subtractions, we identify the set of real numbers with the set of infinite integer sequences with all terms but the first one greater or equal to two. Each such sequence produces in a canonical way a unique…
We present an analogue of the differential calculus in which the role of polynomials is played by certain ordered sets and trees. Our combinatorial calculus has all nice features of the usual calculus and has an advantage that the elements…
Over a commutative local Cohen--Macaulay ring, we view and study the category of maximal Cohen--Macaulay modules as a ring with several objects. We compute the global dimension of this category and thereby extend a result of Leuschke to the…
In this paper, we introduce initially Cohen-Macaulay modules over a commutative Noetherian local ring $R$, a new class of $R$-modules that generalizes both Cohen-Macaulay and sequentially Cohen-Macaulay modules. A finitely generated…
<p>We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consider methods of establishing such assertions using only restricted…
In this work, we aim at understanding incompleteness in an abstract way via metamathematical properties of formal theories. We systematically examine the relationships between the following twelve important metamathematical properties of…
Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only…
A noncommutative-geometric generalization of classical Weil theory of characteristic classes is presented, in the conceptual framework of quantum principal bundles. A particular care is given to the case when the bundle does not admit…
It is a well-known result that, after adding one Cohen real, the transcendence degree of the reals over the ground-model reals is continuum. We extend this result for a set $X$ of finitely many Cohen reals, by showing that, in the forcing…
We study combinatorial properties of convex sets over arbitrary valued fields. We demonstrate analogs of some classical results for convex sets over the reals (e.g. the fractional Helly theorem and B\'ar\'any's theorem on points in many…
We consider a random family of Schr\"odinger operators on a cover $X$ of a compact Riemannian manifold $M = X/\Gamma$. We present several results on their spectral theory, in particular almost sure constancy of the spectral components and…
The aim of this paper is to establish a theory of random variables on domains. Domain theory is a fundamental component of theoretical computer science, providing mathematical models of computational processes. Random variables are the…
The $k$-gonal models of random groups are defined as the quotients of free groups on $n$ generators by cyclically reduced words of length $k$. As $k$ tends to infinity, this model approaches the Gromov density model. In this paper we show…
We prove that the generic quantized coordinate ring $\mathcal{O}_q(G)$ is Auslander-regular, Cohen-Macaulay, and catenary for every connected semisimple Lie group $G$. This answers questions raised by Brown, Lenagan, and the first author.…
We prove the Ramsey property for classes of ordered structures with closures and given local properties. This generalises earlier results: the Ne\v{s}et\v{r}il-R\"odl Theorem, the Ramsey property of partial orders and metric spaces as well…
We elaborate the notions of Martin-L\"of and Schnorr randomness for real numbers in terms of uniform distribution of sequences. We give a necessary condition for a real number to be Schnorr random expressed in terms of classical uniform…
In this paper we completely classify all the special Cohen-Macaulay (=CM) modules corresponding to the exceptional curves in the dual graph of the minimal resolutions of all two dimensional quotient singularities. In every case we exhibit…
This paper purposes to characterize Noetherian local rings $(R, \mathfrak{m})$ such that the Chern numbers of certain $\mathfrak{m}$-primary ideals in $R$ bounded above or range among only finitely many values. Consequently, we characterize…