We prove that forp-optimal fields a cell decomposition theorem follows from methods going back to Denef’s paper [7]. We derive from it the existence of definable Skolem functions and strongp-minimality. Then we turn to stronglyp-minimal fields satisfying the Extreme Value Property—a property which in particular holds in fields which are elementarily equivalent to ap-adic one. For such fieldsK, we prove that every definable subset ofK×Kdwhose fibers overKare inverse images by the valuation of subsets of the value group is semialgebraic. Combining (...) the two we get a preparation theorem for definable functions onp-optimal fields satisfying the Extreme Value Property, from which it follows that infinite sets definable over such fields are in definable bijection iff they have the same dimension. (shrink)

We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We give an algebraic interpretation of the Kripke model used by Bellissima as the principal ideal spectrum and show it to be first order interpretable in the Heyting algebra, (...) from which several model theoretic and algebraic properties are derived. In particular, we prove that a free finitely generated Heyting algebra has only one set of free generators, which is definable in it. As a consequence its automorphism group is the permutation group over its generators. (shrink)

Let [Formula: see text] be an expansion of either an ordered field [Formula: see text], or a valued field [Formula: see text]. Given a definable set [Formula: see text] let [Formula: see text] be the ring of continuous definable functions from [Formula: see text] to [Formula: see text]. Under very mild assumptions on the geometry of [Formula: see text] and on the structure [Formula: see text], in particular when [Formula: see text] is [Formula: see text]-minimal or [Formula: see text]-minimal, or (...) an expansion of a local field, we prove that the ring of integers [Formula: see text] is interpretable in [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] is definably connected of pure dimension [Formula: see text], then [Formula: see text] defines the subring [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] has no isolated points, then there is a discrete ring [Formula: see text] contained in [Formula: see text] and naturally isomorphic to [Formula: see text], such that the ring of functions [Formula: see text] which take values in [Formula: see text] is definable in [Formula: see text]. (shrink)

Let p be prime number, K be a p‐adically closed field, a semi‐algebraic set defined over K and the lattice of semi‐algebraic subsets of X which are closed in X. We prove that the complete theory of eliminates quantifiers in a certain language, the ‐structure on being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field for. We classify these ‐structures up to elementary equivalence, and get in particular (...) that the complete theory of only depends on m, not on K nor even on p. As an application we obtain a classification of semi‐algebraic sets over countable p‐adically closed fields up to so‐called “pre‐algebraic” homeomorphisms. (shrink)