MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1454
Preprint Number 1454
1454. Shahram Mohsenipour Discrete orderings in the real spectrum: Towards logical Diophantine
geometry E-mail: Submission date: 29 June 2018 Abstract: Inspired by logical diophantine problems, we regard discrete orderings as “arithmetical” points living in a real spectrum space and prove a theorem on the distribution of the “arithmetical” points in the affine space in terms of its geometry. To be precise, let M be a discretely ordered ring and R be a real closed field containing M, we prove that any ball B(a,r) in Sper(R[X_1,...,X_n]) with center a and radius r (defined via Robson's metric) contains a discrete ordering of M[X_1,...,X_n] whenever r is non-infinitesimal and a is away from all hyperplanes over M. Mathematics Subject Classification: 03H15, 14P99 Keywords and phrases: Real spectrum, Discrete orderings |

Last updated: July 18 2018 07:23 | Please send your corrections to: |