The Skolem-Bang theorems in ordered fields with an IP

DOI10.1016/J.JALGEBRA.2008.02.038MaRDI QIDQ934030zbMATH OpenOpenAlexFDO

Authors Seyed Masih Ayat

Publication date 29 July 2008

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0705.3356

zbMATH Keywords

weak fragments of arithmeticdense mod 1 subsetsnon-standard Diophantine approximationsthe Skolem-Bang integer part theorems

Mathematics Subject Classification ID

Diophantine approximation, transcendental number theory (11J99) Ordered fields (12J15) Nonstandard arithmetic (number-theoretic aspects) (11U10)

Abstract: This paper is concerned with the extent to which the Skolem-Bang theorems in Diophantine approximations generalise from the standard setting of $<R,Z>$ to structures of the form $<F,I>$, where $F$ is an ordered field and $I$ is an integer part of $F$. We show that some of these theorems are hold unconditionally in general case (ordered fields with an integer part). The remainder results are based on Dirichlet's and Kronecker's theorems. Finally we extend Dirichlet's theorem to ordered fields with $I{E}_1$ integer part.

Recommendations

• Approximation Properties for Orderings on ∗ -Fields
• scientific article; zbMATH DE number 27666
• Introduction to Diophantine approximation
• scientific article; zbMATH DE number 440484
• Resultats optimaux sur l'existence d'une partie entiere dans les corps ordonnes

Cites work

• scientific article; zbMATH DE number 3657869 (Why is no real title available?)
• scientific article; zbMATH DE number 5270037 (Why is no real title available?)
• Bounded existential induction
• Dense subfields of henselian fields, and integer parts
• Every real closed field has an integer part
• Lattice points in infinite domains and asymmetric diophantine approximations
• On certain distributions of integers in pairs with given differences
• On the sequence $[n \alpha]$, $n = 1,2,\dots$. Supplementary note to the preceding paper by Th. Skolem
• Pell equations and exponentiation in fragments of arithmetic
• Prime numbers and factorization in IE₁ and weaker systems
• Real closed fields and IP-sensitivity
• Resultats optimaux sur l'existence d'une partie entiere dans les corps ordonnes

Cited in

(2)

• Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}
• Pell Equations and Weak Regularity Principles

This page was built for publication: The Skolem-Bang theorems in ordered fields with an IP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q934030)