The rationality of the Poincaré series associated to the p-adic points on a variety.
We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets definable in that structure are semialgebraic.
Let Gₙ be the random graph on [n] = 1,...,n with the probability of i,j being an edge decaying as a power of the distance, specifically the probability being , where the constant α ∈ (0,1) is irrational. We analyze this theory using an appropriate weight function on a pair (A,B) of graphs and using an equivalence relation on B∖A. We then investigate the model theory of this theory, including a “finite compactness”. Lastly, as a consequence, we prove that the zero-one law (for first order logic)...
Let Gₙ be the random graph on [n] = 1,...,n with the possible edge i,j having probability for j ≠ i, i+1, i-1 with α ∈ (0,1) irrational. We prove that the zero-one law (for first order logic) holds..