Simple continued fractions, base-b expansions, Dedekind cuts and Cauchy sequences are common notations for number systems. In this note, first, it is proven that both simple continued fractions and base-b expansions fail to denote real numbers and thus lack logic; second, it is shown that Dedekind cuts and Cauchy sequences fail to join in algebraical operations and thus lack intuition; third, w...

Many operations exist for constructing Scott-domains. This paper presents Dedekind completion as a new operation for constructing such domains and outlines an application of the operation. Dedekind complete Scott domains are of particular interest when modeling versions of λ-calculus that allow quantification over sets of arbitrary cardinality. Hence, it is of interest when constructing models ...

Given a subset X of a Dedekind domain D, and a polynomial F # D[x], the fixed divisor d(X, F ) of F over X is defined to be the ideal in D generated by the elements F(a), a # X. In this paper we derive a simple expression for d(X, F ) explicitly in terms of the coefficients of F, using a generalized notion of ``factorial'' introduced by the author in a previous paper. When X=D=Z, this generaliz...

In this paper, I present a new decision procedure for the ideal membership problem for polynomial rings over principal domains using discrete valuation domains. As a particular case, I solve a fundamental algorithmic question in the theory of multivariate polynomials over the integers called “Kronecker’s problem”, that is the problem of finding a decision procedure for the ideal membership prob...

We return to the general AKLB setup: A is a Dedekind domain with fraction field K, L is a finite separable extension of K, and B is the integral closure of A in L. But now we add the condition that the extension L/K is normal, hence Galois. We will see shortly that the Galois assumption imposes a severe constraint on the numbers ei and fi in the ram-rel identity (4.1.6). Throughout this chapter...

Let R be a Dedekind domain. In [6], Enochs’ solution of the Flat Cover Conjecture was extended as follows: (∗) If C is a cotorsion pair generated by a class of cotorsion modules, then C is cogenerated by a set. We show that (∗) is the best result provable in ZFC in case R has a countable spectrum: the Uniformization Principle UP implies that C is not cogenerated by a set whenever C is a cotorsi...

We study the asymptotics of the heat trace Tr{fPe 2 } where P is an operator of Dirac type, where f is an auxiliary smooth smearing function which is used to localize the problem, and where we impose spectral boundary conditions. Using functorial techniques and special case calculations, the boundary part of the leading coefficients in the asymptotic expansion is found.

We give explicit, polynomial–time computable formulas for the number of integer points in any two– dimensional rational polygon. A rational polygon is one whose vertices have rational coordinates. We find that the basic building blocks of our formulas are Dedekind–Rademacher sums, which are polynomial–time computable finite Fourier series. As a by–product we rederive a reciprocity law for these...