Related papers: Set Theory and p-adic Algebras
Generalizing a theorem of Ph. Dwinger, we describe the partially ordered set of all (up to equivalence) zero-dimensional locally compact Hausdorff extensions of a zero-dimensional Hausdorff space. Using this description, we find the…
We study the Banach algebras ${\rm C}(X, R)$ of continuous functions from a compact Hausdorff topological space $X$ to a Banach ring $R$ whose topology is discrete. We prove that the Berkovich spectrum of ${\rm C}(X, R)$ is homeomorphic to…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…
We prove that a (globally) subanalytic p-adic function which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken…
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other…
We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak…
We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions over a dihedral group D_m, with m=4a> 11. We obtain this…
It is well known that every (real or complex) normed linear space $L$ is isometrically embeddable into $C(X)$ for some compact Hausdorff space $X$. Here $X$ is the closed unit ball of $L^*$ (the set of all continuous scalar-valued linear…
It is a classical theorem of Alexandroff that a locally compact Hausdorff space has a one-point Hausdorff compactification if and only if it is non-compact. The one-point Hausdorff compactification is indeed obtained by adding the so called…
Consider the subring $\mathcal{R}_cL$ of continuous real-valued functions defined on a frame $L$, comprising functions with a countable pointfree image. We present some useful properties of $\mathcal{R}_cL$. We establish that both…
Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular,…
In this paper we obtain the rates of convergence of the algorithms given in [13] and [14] for an automatic computation of the centered Hausdorff and packing measures of a totally disconnected self-similar set. We evaluate these rates…
The p-adic description of Higgs mechanism in TGD framework provides excellent predictions for elementary particle and hadrons masses ([email protected] 9410058-62). The gauge group of TGD is just the gauge group of the standard model so…
We introduce the notion of an introverted Boolean algebra $\cal B$ of closed-and-open subsets of a topological group $G$, show that the associated Stone space $(\nu_{\cal B} G, \nu_{\cal B})$ is a totally disconnected semigroup…
Let $X$ be a completely regular topological space. We assign to each (set theoretic) ideal of $X$ an (algebraic) ideal of $C_B(X)$, the normed algebra of continuous bounded complex valued mappings on $X$ equipped with the supremum norm. We…
Bounding the number of rational points of height at most $H$ on irreducible algebraic plane curves of degree $d$ has been an intense topic of investigation since the work by Bombieri and Pila. In this paper we establish optimal dependence…
We consider when the symmetric algebra of an infinite-dimensional Lie algebra, equipped with the natural Poisson bracket, satisfies the ascending chain condition (ACC) on Poisson ideals. We define a combinatorial condition on a graded Lie…
In this paper we will systematically study the preservation of the notion of largeness of sets, arises from the algebraic structure of Stone-Cech compactification, under homomorphism and difference group. Some of these results were studied…
Using the formalism of noncommutative symmetric functions, we derive the basic theory of the peak algebra of symmetric groups and of its graded Hopf dual. Our main result is to provide a representation theoretical interpretation of the peak…
A semialgebraic bijection from the field of p-adic numbers to itself minus one point is constructed. Semialgebraic p-adic sets are classified up to semialgebraic bijection. A cell decomposition theorem for restricted analytic p-adic maps is…