Universally defining Z\mathbb{Z} in Q\mathbb{Q} with 1010 quantifiers

We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential first-order definition in $K$ with $3$ quantifiers.Comment: 20 pages, author approved manuscrip

Universally defining finitely generated subrings of global fields

It is shown that any finitely generated subring of a global field has a universal first-order definition in its fraction field. This covers Koenigsmann's result for the ring of integers and its subsequent extensions to rings of integers in number fields and rings of $S$-integers in global function fields of odd characteristic. In this article a proof is presented which is uniform in all global fields, including the characteristic two case, where the result is entirely novel. Furthermore, the proposed method results in universal formulae requiring significantly fewer quantifiers than the formulae that can be derived through the previous approaches.Comment: preprin

Uniform existential definitions of valuations in function fields in one variable

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a negative answer, the valuation rings containing $K$ are uniformly existentially definable, and finitely generated integrally closed $K$-subalgebras are definable by a universal-existential formula. In order to obtain these results, we develop further the usage of local-global principles for quadratic forms in function fields to definability of certain subrings. We include a first systematic presentation of this general method, without restriction on the characteristic.Comment: 57 pages, preprin

Universal quadratic forms and Northcott property of infinite number fields

We show that if a universal quadratic form exists over an infinite degree, totally real extension of the field of rationals $\mathbb{Q}$, then the set of totally positive integers in the extension does not have the Northcott property. In particular, this implies that no universal form exists over the compositum of all totally real Galois fields of a fixed prime degree over $\mathbb{Q}$. Further, by considering the existence of infinitely many square classes of totally positive units, we show that no classical universal form exists over the compositum of all such fields of degree $3d$ (for each fixed odd integer $d$).Comment: preprin

Failures of integral Springer's Theorem

We discuss the phenomenon where an element in a number field is not integrally represented by a given positive definite quadratic form, but becomes integrally represented by this form over a totally real extension of odd degree. We prove that this phenomenon happens infinitely often, and, conversely, establish finiteness results about the situation when the quadratic form is fixed.Comment: preprint, 10 page

Pathways to understanding the genomic aetiology of osteoarthritis

Osteoarthritis is a common, complex disease with no curative therapy. In this review, we summarize current knowledge on disease aetiopathogenesis and outline genetics and genomics approaches that are helping catalyse a much-needed improved understanding of the biological underpinning of disease development and progression