We consider various ways to represent irrational numbers by subrecursive functions: via Cauchy sequences, Dedekind cuts, trace functions, several variants of sum approximations and continued fractions. Let S be a class of subrecursive functions. The set of irrational numbers that can be obtained with functions from S depends on the representation. We compare the sets obtained by the different r...

We use the calculus of adiabatic pseudo-differential operators to study the adiabatic limit behavior of the eta and zeta functions of a differential operator δ constructed from an elliptic family of operators with base S. We show that the regularized values η(δt, 0) and tζ(δt, 0) have smooth limits as t → 0, and we identify the limits with the holonomy of the determinant bundle, respectively wi...

We announce misère-play solutions to several previously-unsolved combinatorial games. The solutions are described in terms of misère quotients—commutative monoids that encode the additive structure of specific misère-play games. We also introduce several advances in the structure theory of misère quotients, including a connection between the combinatorial structure of normal and misère play.

The main purpose of this paper is to define p-adic and q-Dedekind type sums. Using the Volkenborn integral Teichmüller character representations Bernoulli polynomials, we give reciprocity law these These sums their generalized some classical Dedekind law. It be noted that laws, a fine study existing symmetry relations between finite sums, considered in our study, symmetries through permutations...

A paradigm for a global algebraic number theory of the reals is formulated with the purpose of providing a unified setting for algebraic and transcendental number theory. This is achieved through the study of subgroups of nonstandard models of Dedekind domains called diophantine approximation groups. The arithmetic of diophantine approximation groups is defined in a way which extends the ideal-...

We calculate the Grothendieck group K0(A), where A is an additive category, locally finite over a Dedekind ring and satisfying some additional conditions. The main examples are categories of modules algebras stable homotopy category SW CW-complexes. show that this direct sum free arising from localizations analogous to groups ideal classes maximal orders. As corollary, we obtain new simple proo...

For an elliptic curve E defined over a fieldK, the Tate-Shafarevich group X(E/K) encodes important arithmetic and geometric information. An important conjecture of Tate and Shafarevich states X(E/K) is always finite. Supporting this conjecture is a cohomological analogy between Mordell-Weil groups of elliptic curves and unit groups of number fields. In this note, we follow the analogy to constr...

We give an affirmative answer to a 1976 question of M. Rosen: every abelian group is isomorphic to the class group of an elliptic Dedekind domain R. We can choose R to be the integral closure of a PID in a separable quadratic field extension. In particular, this yields new and – we feel – simpler proofs of theorems of L. Claborn and C.R. Leedham-Green. Luther Claborn received his PhD from U. Mi...

Consider a finite group G and subgroups H,K of G. We say that H and K permute if HK = KH and call H a permutable subgroup if H permutes with every subgroup of G. A group G is called quasi-Dedekind if all subgroups of G are permutable. We can define, for every finite group G, an arithmetic quantity that measures the probability that two subgroups (chosen uniformly at random with replacement) per...