Browsing by Author "Harrison-Migochi, Andrew"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
- ItemAlgebraic points in tame expansions of fields(Stellenbosch : Stellenbosch University, 2021-12) Harrison-Migochi, Andrew; Boxall, Gareth John; Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences.ENGLISH ABSTRACT: We investigate the behaviour of algebraic points in several expansions of the real, complex and p-adic fields. We build off the work of Eleftheriou, Günaydin and Hieronymi in [17] and [18] to prove a Pila-Wilkie result for a p-adic subanalytic structure with a predicate for either a dense elementary substructure or a dense dcl-independent set. In the process we prove a structure theorem for p-minimal structures with a predicate for a dense independent set. We then prove quantifier reduction results for the complex field with a predicate for the singular moduli and the real field with an exponentially transcendental power function and a predicate for the algebraic numbers using a Schanuel property proved by Bays, Kirby and Wilkie [5]. Finally we adapt a theorem by Ax [2] about exponential fields, key to the proof of the Schanuel property for power functions, to power functions.