Abstract:Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic geometries are structures that encode a vector space over a field of characteristic 2 with a non-degenerate bilinear form together with a space of associated quadratic forms. These structures over finite fields of characteristic 2 form an important part of the basic geometries that appear in the Lie coordinatizable structures of Cherlin and Hrushovski. We (a) describe the respective model companions of the theory of orthogonal spaces and the theory of quadratic geometries and (b) classify the pseudo-finite completions of these theories. We also (c) give a neostability-theoretic classification of the model companions and these pseudo-finite completions. This is a small step towards understanding the analogue of the Cherlin-Hrushovski theory of Lie coordinatizable structures in a setting where the involved fields may be pseudo-finite.

Hyperbolicity and model-complete fields

Curve-excluding fields

Of model completeness and algebraic groups

Plane model-fields of definition, fields of definition, the field of moduli of smooth plane curves

Partial Heights, Entire Curves, and the Geometric Bombieri-Lang Conjecture

Existential closedness of $\overline{\mathbb{Q}}$ as a globally valued field via Arakelov geometry

Models of Abelian varieties over valued fields, using model theory

Hyperbolic Components of Mcmullen Maps

Characteristic Varieties of Hypersurface Complements

Nowhere vanishing 1-forms on varieties admitting a good minimal model

Hyperbolicity of the complement of plane algebraic curves

Varieties with Vanishing Holomorphic Euler Characteristic

Some model theory of quadratic geometries

Relative model completeness of henselian valued fields with finite ramification and various value groups

Places of algebraic function fields in arbitrary characteristic

Fields of moduli and the arithmetic of tame quotient singularities

Genus two curves with everywhere good reduction over quadratic fields

Model theory of algebraically closed fields

Moduli Spaces of Hyperplanar Admissible Flags in Projective Space

Transcendental Minimal Model Program for Projective Varieties

Algebraic Hyperbolicity of Complements of Generic Hypersurfaces in Projective Spaces