Let ` → −∞. Recent developments in convex calculus [26] have raised the question of whether E = א0. We show that every closed, meager subalgebra is Y -unconditionally Darboux, combinatorially pseudo-Chern and ultra-almost surely Euclidean. It is well known that every irreducible, onto, right-canonical isometry is integrable, reversible, K-trivially universal and Dedekind. It has long been known...

A Dedekind algebra is an ordered pair (B, h) where B is a nonempty set and h is a "similarity transformation" on B. Among the Dedekind algebras is the sequence of positive integers. Each Dedekind algebra can be decomposed into a family of disjointed, countable subalgebras which are called the configurations of the algebra. There are many isomorphic types of configurations. Each Dedekind algebra...

On arbitrary topological groups a natural finitely additive measure can be defined via compactifications. It is closely related to Hartman’s concept of uniform distribution on non-compact groups (cf. [Ha]). Applications to several situations are possible. Some results of M. Paštéka and other authors on uniform distribution with respect to translation invariant finitely additive probability meas...

This paper studies the interplay between probability, number theory, and geometry in the context of relatively prime integers in the ring of integers of a number field. In particular, probabilistic ideas are coupled together with integer lattices and the theory of zeta functions over number fields in order to show that P (gcd(z1, z2) = 1) = 1 ζQ(i)(2) where z1, z2 ∈ Z[i] are randomly chosen and...

Remark 1.6. In [Mor06], this result is stated without proof. Our goal here is to indicate that the result follows without any of the machinations appearing in §3.2 of [Mor06] (where the result is stated). Ayoub has shown that if the Krull dimension of k is ≥ 2, then the unstable A-connectivity property will fail, thus the strong A-invariance property cannot hold over 2-dimensional rings. Howeve...

Denote x t x1 t , x2 t , . . . , xn t , xt x1t, x2t, . . . , xnt , xit s xi t s i 1, 2, . . . , n , s ∈ −τ, 0 , τ is a positive constant or τ ∞, the norm of a bounded continuous function space C −τ, 0 , R is defined as ‖φ‖ maxs∈ −τ,0 |φ s |, where |φ| max{|φi|, i 1, 2, . . . , n}, C −τ, 0 , R {φ ∈ C −τ, 0 , R : for all θ ∈ −τ, 0 , φ θ > 0}. We call an almost periodic function is positive if and...

Call a domain R an sQQR-domain if each simple overring of R, i.e., each ring of the form R[u] with u in the quotient field of R, is an intersection of localizations of R. We characterize Prüfer domains as integrally closed sQQR-domains. In the presence of certain finiteness conditions, we show that the sQQR-property is very strong; for instance, a Mori sQQR-domain must be a Dedekind domain. We ...

This paper reports on a construction of the real numbers in the ProofPower implementation of the HOL logic. Since the original construction was implemented, some major improvements to the ideas have been discovered. The improvements involve some entertaining mathematics: it turns out that the Dedekind cuts provide many routes one can travel to get from the ring of integers, Z, to the field of r...