The Skolem–Bang theorems in ordered fields with an IP

Using formally intuitionistic logic coupled with infinitary logic and the completeness theorem for coherent logic, we establish the validity, in Grothendieck toposes, of a number of well-known, classically valid theorems about fields and ordered fields. Classically, these theorems have proofs by contradiction and most involve higher order notions. Here, the theorems are each given a first-order formulation, and this form of the theorem is then deduced using coherent or formally intuitionistic logic. This immediately implies their validity in arbitrary Grothendieck toposes. The main idea throughout is to use coherent theories and, whenever possible, find coherent formulations of formulas which then allow us to call upon the completeness theorem of coherent logic. In one place, the positive model-completeness of the relevant theory is used to find the necessary coherent formulas.The theorems here deal with polynomials or rational functions (in s indeterminates) over fields. A polynomial over a field can, of course, be represented by a finite string of field elements, and a rational function can be represented by a pair of strings of field elements. We chose the approach whereby results on polynomial rings are reduced to results about the base field, because the theory of polynomial rings in s indeterminates over fields, although coherent, is less desirable from a model-theoretic point of view. Ultimately we are interested in the models.This research was originally motivated by the works of Saracino and Weispfenning [SW], van den Dries [Dr], and Bunge [Bu], each of whom generalized some theorems from algebraic geometry or ordered fields to (commutative, von Neumann) regular rings (with unity).

Download Full-text

Parallelisms over Ordered Fields

Combinatorics of Spreads and Parallelisms ◽

10.1201/ebk1439819463-43 ◽

2010 ◽

pp. 526-533

Keyword(s):

Ordered Fields

Download Full-text

Ordered fields dense in their real closure and definable convex valuations

Forum Mathematicum ◽

10.1515/forum-2020-0030 ◽

2021 ◽

Vol 0 (0) ◽

Author(s):

Lothar Sebastian Krapp ◽

Salma Kuhlmann ◽

Gabriel Lehéricy

Keyword(s):

Ordered Fields ◽

Real Closure

Abstract In this paper, we undertake a systematic model- and valuation-theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the language of ordered rings. In light of our results, we re-examine the Shelah–Hasson Conjecture (specialized to ordered fields) and provide an example limiting its valuation-theoretic conclusions.

Download Full-text