Related papers: First-order definability of Campana Points and Dar…
For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case.…
We offer a $\forall\exists$-definition for (affine) Campana points over $\mathbb{P}^1_K$ (where $K$ is a number field), which constitute a set-theoretical filtration between $K$ and $\mathcal{O}_{K,S}$ ($S$-integers), which are well-known…
It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in…
We show that the complement of the ring of integers in a number field K is Diophantine. This means the set of ring of integers in K can be written as {t in K | for all x_1, ..., x_N in K, f(t,x_1, ..., x_N) is not 0}. We will use global…
We introduce a general framework for studying special subsets of rational points on an algebraic variety, termed $\mathcal{M}$-points. The notion of $\mathcal{M}$-points generalizes the concepts of integral points, Campana points and Darmon…
In this paper we generalise the notion of Drinfeld modular form for the group $\Gamma$ := GL2(Fq[$\theta$]) to a vector-valued setting, where the target spaces are certain modules over positive characteristic Banach algebras over which are…
We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of…
In this paper a Kummer theory of division points over rank one Drinfeld A=Fq[T]-modules defined over global function fields was given. The results are in complete analogy with the classical Kummer theory of division points over the…
Building on our previous work on rigid analytic uniformizations, we introduce Darmon points on Jacobians of Shimura curves attached to quaternion algebras over Q and formulate conjectures about their rationality properties. Moreover, if K…
We construct an integral model for counting Campana points of bounded height on diagonal hypersurfaces of degree greater than one, and give an asymptotic formula for their number, generalising work by Browning and Yamagishi. The paper also…
In this paper, we study questions of definability and decidability for infinite algebraic extensions ${\bf K}$ of $\mathbb{F}_p(t)$ and their subrings of $\mathcal{S}$-integral functions. We focus on fields ${\bf K}$ satisfying a local…
In this paper, we revise the concept of noncommutative vector fields introduced previously in Ref. [1,2], extending the framework, adding new results and clarifying the old ones. Using appropriate algebraic tools certain shortcomings in the…
We present the first fixed-length elementary closed-form expressions for the prime-counting function, $\pi(n)$, and the $n$-th prime number, $p(n)$. These expressions are arithmetic terms, requiring only a finite and fixed number of…
computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…
Quantum Field Theory with fields as Operator Valued Distributions with adequate test functions, -the basis of Epstein-Glaser approach known now as Causal Perturbation Theory-, is recalled. Its recent revival is due to new developments in…
Let K be the scalar field of the first orthomodular (or Form Hilbert) space, described by H. Keller in 1980. It has a non-Archimedean order, an infinite rank valuation compatible with the order as well as an explicitly defined ultrametric,…
We initiate a general quantitative study of sets of $\mathcal{M}$-points, which are special subsets of rational points, generalizing Campana points, Darmon points, and squarefree solutions of Diophantine equations. We propose an asymptotic…
UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete…
In this work, using maximal elements in generalized Weierstrass semigroups and its relationship with pure gaps, we extend the results in \cite{CMT2024} and provide a way to completely determine the set of pure gaps at several rational…
Two square matrices of (arbitrary) order N are introduced. They are defined in terms of N arbitrary numbers z_{n}, and of an arbitrary additional parameter (a respectively q), and provide finite-dimensional representations of the two…